Catálogo de publicaciones - actas de congreso
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
No disponibles.
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2021 | ACM Digital Library |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-4503-8543-5
Editor responsable
Association for Computing Machinery (ACM)
País de edición
Estados Unidos
Fecha de publicación
2021-07-13
Información sobre derechos de publicación
Copyright © ACM, Inc.