- 
              
            621
- 
              
            622
- 
              
            623
- 
              
            624
- 
              
            625
- 
              
            626
- 
              
            627
- 
              
            628
- 
              
            629
- 
              
            630Industrial applications of formal methods to model, design, and analyze computer systemsיצא לאור 1995Available for University of the Philippines System via ScienceDirect. Click here to access
 Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
 Electronic Resource


