Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Wydra”
Christoph Bockisch
,
Gabriele Taentzer
,
Nebras Nassar
,
Lukas Wydra
,
Java Bytecode Verification with OCL Why, How and Whenc
, pp. 3:1-16,
PDF
,
DOI
.
Volume 19, no. 3 (October 2020)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact