H. Wehrheim

发表

Action Reenement - an Application of Process Theory on Object-oriented Speciication Action Reenement -an Application of Process Theory on Object-oriented Speciication

H. Wehrheim, 2007 .