Verification of object-oriented software : the KeY approach

Author :

Beckert, Bernhard

Author Statement :

Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt (eds.)

Collation :

xxix, 658 p. : ill

Addition :

Title :

Verification of object-oriented software : the KeY approach

LC Class :

005

LC Number :

. 14

LC CutterNumber :

B 389 V

تاريخ ورود اطلاعات :

1389/01/24

Publication Year :

2007

Publication :

Springer

Subject :

Computer software --Verification,Object-oriented methods (Computer science),Java (Computer program language)

DocumentNumber :

118

ISBNN :

Link To Document :