J. Strother Moore. A grand challenge proposal for formal methods: A verified stack. In Bernhard K. Aichernig and T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, volume 2757 of Lecture Notes in Computer Science, pages 161--172. Springer, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
It is Time to Mechanize Programming Language Metatheory - Pierce, Sewell, Weirich.. (Correct)
No context found.
J. Strother Moore. A grand challenge proposal for formal methods: A verified stack. In Bernhard K. Aichernig and T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, volume 2757 of Lecture Notes in Computer Science, pages 161--172. Springer, 2002.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
J Strother Moore. A grand challenge proposal for formal methods: A verified stack. In Bernhard K. Aichernig and T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, volume 2757 of Lecture Notes in Computer Science, pages 161--172. Springer, 2002.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
J. Strother Moore. A grand challenge proposal for formal methods: A verified stack. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, volume 2757 of LNCS, pages 161--172. Springer, 2003.
Mechanized Metatheory for the Masses: The PoplMark.. - Aydemir, Bohannon.. (2005) (6 citations) (Correct)
No context found.
J. Strother Moore. A grand challenge proposal for formal methods: A verified stack. In Bernhard K. Aichernig and T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, volume 2757 of Lecture Notes in Computer Science, pages 161--172. Springer, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC