Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Web Resource
|
![]() |
UPF_TermInstitut Universitari de Lingstica Aplicada ; Institut Universitari de Lingüística AplicadaInstitut Universitari de Lingüística AplicadaTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Roadmap for enhanced languages and methods to aid verificationLeavens, Gary T. ; Abrial, Jean-Raymond ; Batory, Don ; Butler, Michael ; Coglio, Alessandro ; Fisler, Kathi ; Hehner, Eric ; Jones, Cliff ; Miller, Dale ; Peyton-Jones, Simon ; Sitaraman, Murali ; Smith, Douglas R. ; Stump, AaronGenerative Programming And Component Engineering: Proceedings of the 5th international conference on Generative programming and component engineering; 22-26 Oct. 2006, 2006, p.221-236New York, NY, USA: ACMTexto completo disponível |