Result: Deductive verification of object-oriented software
Title:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Involved:
Published:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011
Distribution:
The Hague : OAPEN FOUNDATION
Scope:
1 Online-Ressource (xxi, 269 p. p.)
Format:
Language:
English
Subject Added Keywords:
ISBN:
9783866446236
Open Access Rights:
Open Access