( en | de | ru )

 

Disambiguation of "Harton, Heather K."

Author of the publication

copydeleteadd this publication to your clipboard
Generating Verified Java Components through RESOLVE.

, , , , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 11-20. Springer, (2009)

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.

Heather Fuchs

Heather Amthauer

Heather Mortiboys

Heather Alexander

Heather Maclaren

 

Other publications of authors with the same name

Formal Program Verification., , and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?, , , , , , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 31-40. Springer, (2009)Engaging students in specification and reasoning: "hands-on" experimentation and evaluation., , , , , , , and . ITiCSE, page 50-54. ACM, (2009)The Location Linking Concept: A Basis for Verification of Code Using Pointers., , , , , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 34-49. Springer, (2012)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)Building a push-button RESOLVE verifier: Progress and challenges., , , , , , , , , and 3 other author(s). Formal Aspects Comput., 23 (5): 607-626 (2011)Specification engineering and modular verification using a web-integrated verifying compiler., , , and . ICSE, page 1379-1382. IEEE Computer Society, (2012)Incremental Benchmarks for Software Verification Tools and Techniques., , , , , , , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 84-98. Springer, (2008)Generating Verified Java Components through RESOLVE., , , , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 11-20. Springer, (2009)