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 Wed Apr 2 01:20:04 2025 CEST automatisch erstellt.