![Computer programming / Formal specification / Programming language / Specification / C / Software development process / Ada / Algorithm / Axiomatic system / Computing / Formal methods / Software engineering Computer programming / Formal specification / Programming language / Specification / C / Software development process / Ada / Algorithm / Axiomatic system / Computing / Formal methods / Software engineering](https://www.pdfsearch.io/img/5bab0a3e41569b69a7299194e9163902.jpg)
| Document Date: 2013-01-14 11:58:09 Open Document File Size: 49,36 KBShare Result on Facebook
IndustryTerm internal processing / software reliability / / Organization Univ. of Texas / / Person Walter W. Wilson / / Position candidate for formal methods and proof / programmer / / ProvinceOrState Texas / / URL http /
SocialTag |