An ASM-based formal model of a Java program
From MaRDI portal
Publication:2487119
DOI10.1023/A:1023848905299zbMath1161.68380MaRDI QIDQ2487119
Publication date: 17 August 2005
Published in: Programming and Computer Software (Search for Journal in Brave)
68N15: Theory of programming languages