01090nam 2200325 450 991051044350332120230819165227.0(CKB)4930000000238423(NjHacI)994930000000238423(EXLCZ)99493000000023842320230819d2021 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs /David R. CokNew York, New York :Association for Computing Machinery,2021.1 online resource (430 pages)1-4503-8543-5 Java (Computer program language)Java (Computer program language)005.133Cok David R.1383352NjHacINjHaclBOOK9910510443503321Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs3428069UNINA