Anzahl der Einträge: 1.
|
Majster-Cederbaum, Mila ; Zhan, Naijun ; Fecher, Harald
Action Refinement from a Logical Point of View.
Zuck, Lenore D.
Lecture Notes in Computer Science
2575
253-267
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9 - 11, 2003; proceedings
(2003)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Thu Nov 21 01:12:32 2024 CET automatisch erstellt. |
