Majster-Cederbaum, Mila ; Salger, FrankCorrectness by Construction: Towards Verification in Hierarchical System Development.Havelund, Klaus
Lecture Notes in Computer Science
1885
163-180
In: SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000; proceedings
(2000)
Berlin [u.a.]
[Konferenzveröffentlichung]
Diese Liste wurde am Thu Nov 21 01:38:44 2024 CET automatisch erstellt.
