First Page | Document Content | |
---|---|---|
![]() Date: 2015-01-08 04:19:12Vienna Development Method Dines Bjørner Cliff Jones Formal specification Software development process Reification Abstraction Meta-IV Formal methods Software development Computing | Add to Reading List |