A. Walter
发表
P. Manolios,
A. Walter,
2022,
ACL2.
Fridtjof Siebert,
Andy Walter,
Fridtjof Siebert,
2001,
Java Virtual Machine Research and Technology Symposium.
D. Greve,
P. Manolios,
A. Walter,
2022,
Formal Methods in Computer-Aided Design.
Donato O. Forlenza,
A. Walter,
J. Gartner,
1990
.
Y. Kleinman,
A. Walter,
J. Gartner,
1988,
International Test Conference 1988 Proceeding@m_New Frontiers in Testing.