Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs

Bibliografiska uppgifter
Materialtyp:	Elektronisk Bok
Språk:	English
Publicerad:	Association for Computing Machinery (ACM), 7/13/21
Ämnen:	Conference papers and proceedings.
Länkar:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Liknande verk

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs

Proceedings of the 23rd ACM international conference on Multimedia

Proceedings of the 23rd Packet Video Workshop

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection

Proceedings of the 23rd annual conference on Computer graphics and interactive techniques

Proceedings of the 1968 23rd ACM national conference

Proceedings of the 23rd ACM Conference on Economics and Computation

Proceedings of the 23rd ACM/IFIP International Middleware Conference

Proceedings of the 23rd European Conference on Pattern Languages of Programs

Formal Techniques for Distributed Systems
Publicerad: (2013)

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension

Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems

Proceedings of the 23rd international conference on Supercomputing

Proceedings of the 23rd International Teletraffic Congress

2015 IEEE 23rd International Conference on Program Comprehension

Proceedings of the 23rd ACM/IEEE Design Automation Conference

Proceedings of the 23rd ACM conference on Hypertext and social media

Proceedings of the 23rd International ACM SIGACCESS Conference on Computers and Accessibility

Proceedings of the 23rd ACM International Conference on Intelligent Virtual Agents

Proceedings of the 3rd international symposium on Principles and practice of programming in Java

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications

Proceedings of the 23rd International Workshop on Personalization and Recommendation on the Web and Beyond

Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture