Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Program Verification., , and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position., , , and . SAI (1), volume 506 of Lecture Notes in Networks and Systems, page 58-74. Springer, (2022)Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only)., , , and . SIGCSE, page 683. ACM, (2012)A systematic approach to teaching abstraction and mathematical modeling., , , , , , and . ITiCSE, page 357-362. ACM, (2012)Performance specification of software components., , , , and . SSR, page 3-10. ACM, (2001)A Language for Building Verified Software Components., , , , , , , , , and 8 other author(s). ICSR, volume 7925 of Lecture Notes in Computer Science, page 308-314. Springer, (2013)Making mathematical reasoning fun: tool-assisted, collaborative techniques., , , and . ACM Southeast Regional Conference, page 403-404. ACM, (2012)Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only)., , , and . SIGCSE, page 707. ACM, (2016)When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies., , and . CSEE&T, page 207-214. IEEE Computer Society, (2002)Modular Verification of Performance Constraints, , and . Technical Report, RSRG-03-04. Clemson University, (May 2003)