Virginity

MaRDI QIDQ14007swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0020019099000435

Described by source

• Virginity: A contribution to the specification of object-oriented software

Cited in

(4)

• Alias burying: Unique variables without destructive reads
• scientific article; zbMATH DE number 1728235 (Why is no real title available?)
• Modular specification and verification of object-oriented programs
• scientific article; zbMATH DE number 1304000 (Why is no real title available?)

This page was built for software: Virginity