An overview of the SPRINT method

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024659 ◽

1993 ◽

pp. 403-427 ◽

Cited By ~ 5

Author(s):

H. B. M. Jonkers

Download Full-text