Daniel M. Zimmerman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2006–2012
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TAP | Testing Library Specifications by Verifying Conformance Tests. | Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland |
| 2008 | FM | Secret Ninja Formal Methods. | Joseph R. Kiniry, Daniel M. Zimmerman |
| 2006 | EDOC | Enterprise Computing Systems as Information Factories. | K. Mani Chandy, Lu Tian, Daniel M. Zimmerman |