| 2008 |
|---|
| 4 | EE | Heather K. Harton,
Murali Sitaraman,
Joan Krone:
Formal Program Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2002 |
|---|
| 3 | EE | Joan Krone,
David W. Juedes,
Meera Sitharam:
When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies.
CSEE&T 2002: 207-214 |
| 2001 |
|---|
| 2 | EE | Murali Sitaraman,
Gregory Kulczycki,
Joan Krone,
William F. Ogden,
A. L. Narasimha Reddy:
Performance specification of software components.
SSR 2001: 3-10 |
| 1995 |
|---|
| 1 | EE | David Gries,
Fred B. Schneider,
Joan Krone,
J. Stanley Warford,
J. Peter Weston:
Teaching as a logic tool (abstract).
SIGCSE 1995: 384-385 |
