Specification and verification of object oriented software components
By: by Andreas Roth
Publisher: Univ.-Verl. Karlsruhe
Published: 2006
Place of publication: Karlsruhe
Language: eng
Format: [Elektronische Ressource] /
ISBN-13: 9783866440425
Subjects: Programmverifikation; Komponente <Software>; Korrektheit; Formale Spezifikationstechnik; Objektorientierte Programmiersprache
Notes: University, Diss., 2006--Karlsruhe.