Title: Special section on Formal Techniques for Java-like Programs
Authors: Piessens, Frank
Jacobs, Bart
Leavens, Gary T.
Issue Date: 2011
Publisher: ETH Swiss Federal Institute of Technology
Series Title: Journal of Object Technology vol:10
ISSN: 1660-1769
Publication status: published
KU Leuven publication type: DI
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.