Comparing formal specifications by measuring.

Jan van Katwijk, W. J. Toetenel

Browse the full RTCSA paper archive.