Peter Baumann;Karl Lermer
-;-
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII