Abstract State Machines - Theory and Applications
Abstract State Machines - Theory and Applications
Philipp W. Kutter, Lothar Thiele, Yuri Gurevich, Martin Odersky
Details
- OL Work ID
- OL27347400W
Philipp W. Kutter, Lothar Thiele, Yuri Gurevich, Martin Odersky