Formal Verification of Object-Oriented Software

Format:

e-book

Title:

Formal Verification of Object-Oriented Software

Author:

Beckert, Bernhard; Kanade, Takeo; Marché, Claude

Language:

English

Publisher:

Springer Berlin Heidelberg 2011

ISBN:

3-642-18069-8
3-642-18070-1

Subject:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:2670000000064747?locale=en