Back to Search Start Over

IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005

Authors :
Romijn, J.M.T.
Smith, G.
Pol, van de, J.C.
Design and Analysis of Systems
Publication Year :
2005
Publisher :
Technische Universiteit Eindhoven, 2005.

Subjects

Subjects :
ComputingMilieux_LEGALASPECTSOFCOMPUTING

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........8a5b3baa98df6519c5702b0bbd2ea364

Tools

Authors Abstract Subjects Details