Franklin

Proceedings for FTfJP 2014 : the 16th Workshop on Formal Techniques for Java-like Programs : Uppsala, Sweden, July 28th, 2014

Author/Creator:
Pearce, David J.
Publication:
[Place of publication not identified] ACM 2014
Format/Description:
Book
1 online resource (33 pages)
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Other Title:
FTfJP 2014
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
Language:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
Contributor:
Association for Computing Machinery-Digital Library.
Pearce, David J Contributor
ISBN:
1-4503-2866-0