Fabian Bannwart, Peter Müller. A Program Logic for Bytecode. Electronic Notes in Theoretical Computer Science, 141(1):255-273, 2005. [doi]
@article{BannwartM05, title = {A Program Logic for Bytecode}, author = {Fabian Bannwart and Peter Müller}, year = {2005}, doi = {10.1016/j.entcs.2005.02.026}, url = {http://dx.doi.org/10.1016/j.entcs.2005.02.026}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/BannwartM05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {1}, pages = {255-273}, }