Utilizing IALC to formalize the Brazilian OAB exam
- Bernardo Alkmim
- Alexandre Rademaker
- et al.
- 2018
- XAILA 2018
Publications
Date
Featured collections
Popular topics
2 results for Edward H. Haeusler
A memory-bounded, deterministic and terminating semantics for the synchronous programming language CÉU
- Guilherme Lima
- Rodrigo Santos
- et al.
- 2019
- Journal of Systems Architecture