Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Foundations of Typestate-Oriented ProgrammingGarcia, Ronald ; Tanter, Éric ; Wolff, Roger ; Aldrich, JonathanACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-44, Article 12 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |