PROOFS: formalisms and methods

van der Aalst, Wil M. P.; van Hee, K. M.; Trèves, N.; Giovanni, R. di

TUE-TR-0035-V4.0-WP1 (1993)
Book