Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Caleb Priester"'
Autor:
Nabil M. Kabbani, Daniel Welch, Caleb Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 56-71 (2015)
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed
Externí odkaz:
https://doaj.org/article/cbdab4d82fe747f897a5ad2ee100a415
