Publicações

Extended Static Checking by Calculation Using the Pointfree Transform

AuthID
P-003-R6E

Author(s)

Oliveira, JN

Editor(es)

Bove,A;Barbosa,LS;Pardo,A;Pinto,JS

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5520, Páginas: 195-251 (57)

Conference

International Summer School on Language Engineering and Rigorous Software Development, Date: FEB 25-MAR 01, 2008, Location: Piriapolis, URUGUAY, Patrocinadores: Univ Republica, Uruguay, PEDECIBA, CSIC, TATA Consultancy Serv, Microsoft Uruguay

Indexing