Publications

GAMASLICER: an Online Laboratory for Program Verification and Analysis

AuthID
P-007-VB6

Author(s)

da Cruz, DC

Henriques, PR

Pinto, JS

Editor(s)

Brabrand,C;Moreau,PE

Document Type

Proceedings Paper

Year published

2010

Published

in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS 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