Steven M. German
Edmund M. Clarke, Jr., Steven M. German, and Joseph Y. Halpern.
Effective axiomatizations of Hoare logics.
Journal of the ACM
, 30(3):612-636, July 1983.
Steven M. German and A. Prasad Sistla.
Reasoning about systems with many processes.
Journal of the ACM
, 39(3):675-735, July 1992.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database