Virginity

swMATH1267MaRDI QIDQ14007FDOQ14007

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• Modular specification and verification of object-oriented programs
• Alias burying: Unique variables without destructive reads
• Title not available (Why is that?)

This page was built for software: Virginity