Sign in
Comments on "Formal Methods Application: An Empirical Tale of Software Development".
Daniel M. Berry
Walter F. Tichy
Published in:
IEEE Trans. Software Eng. (2003)
Keyphrases
</>
formal methods
development lifecycle
software development
software engineering
formal analysis
software projects
provably correct
model checker
software architecture
software developers