States as Specifications

Paulo Borba
1996
Type
Conference paper
Publication
I Simpósio Brasileiro de Linguagens de Programação (SBLP 1996)
comments powered by Disqus