Software development graphs: a unifying concept for software development?

Authors:
D Bjorner
Affiliations:
-
Venue:
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
Year:
1986

Citing 0
Cited 4

On the use of formal methods in software development

ICSE '87 Proceedings of the 9th international conference on Software Engineering
Trusted computing systems: the ProCoS experience

ICSE '92 Proceedings of the 14th international conference on Software engineering
Pinnacles of software engineering: 25 years of formal methods

Annals of Software Engineering
"What is a method?": an essay on some aspects of domain engineering

Programming methodology

Quantified Score

Hi-index	0.00

Visualization

Abstract