Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Barry K. Rosen
Acta Informatica
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications