Location via proxy:   [ UP ]   [Report a bug]   [Manage cookies]    No cookies    No scripts    No ads    No referrer    Show this form

Meira, Silvio, and Cássio Souza dos Santos. " SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk." Anais do V Simpósio Brasileiro de Engenharia de Software, Ouro Preto/MG, 1991. SBC, 1991, pp.221-236.