Author:
Weide Alan,Sivilotti Paolo A. G.,Sitaraman Murali
Publisher
Springer International Publishing
Reference42 articles.
1. Sitaraman, M., et al.: Building a push-button RESOLVE verifier: progress and challenges. Formal Aspects Comput. 23(5), 607–626 (2011)
2. Harms, D.E., Weide, B.W.: Copying and swapping: influences on the design of reusable software components. IEEE Trans. Softw. Eng. 17, 424–435 (1991)
3. Kulczycki, G.: Direct Reasoning. Ph.d. dissertation, Clemson University, School of Computing (2004)
4. Lecture Notes in Computer Science;G Kulczycki,2013
5. Lecture Notes in Computer Science;A Weide,2016