Johnson M. Hart
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1996–1996
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FM | Program Slicing Using Weakest Preconditions. | Joseph J. Comuzzi, Johnson M. Hart |
| 1996 | ICSE | A Scalable, Automated Process for Year 2000 System Correction. | Johnson M. Hart, Antonio Pizzarello |