Skip to main content

The automated verification of timewise refinement

A.W. Roscoe

Journal
EIT−CPSE
Year
2013