|ITEM METADATA RECORD
|Title: ||Special section on Formal Techniques for Java-like Programs|
|Authors: ||Piessens, Frank|
Leavens, Gary T.
|Issue Date: ||2011 |
|Publisher: ||ETH Swiss Federal Institute of Technology|
|Series Title: ||Journal of Object Technology vol:10|
|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.