Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal methods - the very idea - some thoughts about why they work when they work

 
: Berry, D.M.

:

Science of computer programming 42 (2002), No.1, pp.11-27
ISSN: 0167-6423
English
Journal Article
Fraunhofer FIRST ()

: http://publica.fraunhofer.de/documents/N-38808.html