Bytecode Verification by Model Checking
Year: 2003
Type: article
Source: Journal of Automated Reasoning
Authors: David Basin, Stefan Friedrich, Marek Gawkowski
Institutions: ETH Zurich, University of Freiburg, University of Kaiserslautern
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2142536104