Abstract Software Specifications

Authors:
D. Bjorner
Affiliations:
-
Venue:
Abstract Software Specifications
Year:
1982

Citing 0
Cited 2

Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
Scientific Decisions which Characterize VDM

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract