Pedro Ribeiro

Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

by Simon Foster 🌐, Frank Zeyda, Yakoub Nemouchi 📧, Pedro Ribeiro and Burkhart Wolff 📧