Barry K. Rosen
Journal of Computer and System Sciences
Paper
How to Analyze Large Programs Efficiently and Informatively
Abstract
No abstract available.
Related
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Zeev Barzilai, J. Lawrence Carter, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering