Domain checking Z specifications,” in LFM’ 97: Fourth NASA Langley Formal Methods Workshop, ser. NASA Conference Publication 3356 (1997)

by M Saaltink