Login / Signup

Computer-Aided Verification of Software Process Model Properties

Alfred BröckersVolker Gruhn
Published in: CAiSE (1993)
Keyphrases