PhD DATABASE

Title:  
Experiments with formal methods in software engineering
Abstract:  
URL:  
Area of Science:  
Software engineering
PhD Student:  
Nico Plat
E-mail:  
Scientific Adviser:  
J.van Katwijk
E-mail:  
University:  
Delft University of Technology
City:  
Delft
Country:  
The Netherlands
  Back to search results
 
This web site has been produced with the support of the European Commission under the Lifelong Learning Programme: 114046-CP-1-2004-1-BG-ERASMUS-TN.
It reflects the views only of the authors, and the commission cannot be held responsible for any use which may be made of the information contained therein.