Old Web
English
Sign In
Acemap
>
Paper
>
Seminar: Specification and Verification of Object-oriented Software
Seminar: Specification and Verification of Object-oriented Software
2004
Wolfgang Ahrendt
Thomas Baar
Bernhard Beckert
Richard Bubel
Martin A. Giese
Reiner Hhnle
Wolfgang Menzel
Wojciech Mostowski
Andreas Roth
Steffen Schlager
Peter H. Schmitt
Achim D. Brucker
Keywords:
Software verification
Software requirements specification
Software construction
Software engineering
Software verification and validation
Programming language
Verification
Intelligent verification
Functional verification
Language Of Temporal Ordering Specification
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI
[]