Virginity

swMATH1267MaRDI QIDQ14007FDOQ14007

Author name not available (Why is that?)

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