Publications

GAMASLICER: An Online Laboratory for Program Verification and Analysis

AuthID
P-007-VB6

Author(s)

Da Cruz, D

Henriques, PR

Pinto, JS

Editor(s)

Claus Brabrand; Pierre-Etienne Moreau

Document Type

Proceedings Paper

Year published

2010

Published

in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in LDTA

Pages: 3

Conference

10Th Workshop on Language Descriptions, Tools and Applications, Ldta 2010, Date: 28 March 2010 through 29 March 2010, Location: Paphos, Sponsors: ACM Special Interest Group on Programming Languages (SIGPLAN);University of Minnesota Software Engineering Center

Indexing