Vol-847⫷ Vol-848 ⫸Vol-849
urn:nbn:de:0074-848-0


None⫷None⫸None
Martin Strecker

Abstraction and Verification of Properties of a Real-Time Java