1 option
FTfJP '23 : Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs : July 18, 2023 Seattle, WA, USA / edited by Aaron Tomb.
- Format:
- Book
- Conference/Event
- Conference Name:
- International Workshop on Formal Techniques for Java-like Programs (25th : 2023 : Seattle)
- International Workshop on Formal Techniques for Java-like Programs.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Java (Computer program language)--Congresses.
- Java (Computer program language).
- Compilers (Computer programs)--Congresses.
- Compilers (Computer programs).
- Computer science--Congresses.
- Computer science.
- Programming languages (Electronic computers)--Congresses.
- Programming languages (Electronic computers).
- Physical Description:
- 1 online resource (64 pages).
- Other Title:
- FTfJP 2023
- Place of Publication:
- New York : Association for Computing Machinery, 2023.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Includes index.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.