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 Sat Feb 22 01:23:26 2025 CET automatisch erstellt.
