Michael Marcotty (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: Corrigendum: ``A Sampler of Formal Definitions''. ACM Comput. Surv. 9(2): 168 (1977)

4 Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976)

Selection of 2 from 10 records - Michael Marcotty has 8 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: Corrigendum: ``A Sampler of Formal Definitions''. ACM Comput. Surv. 9(2): 168 (1977)
4		Michael Marcotty, Henry F. Ledgard, Gregor von Bochmann: A Sampler of Formal Definitions. ACM Comput. Surv. 8(2): 191-276 (1976)