The K Framework seminar presents and discusses topics related to the design, specification, and verification of systems, with a focus on the K Framework ecosystem.
The K Framework seminar presents and discusses topics related to the design, specification, and verification of systems, with a focus on the K Framework ecosystem.
The seminars take place at the RV Bucharest headquarters (Popa Tatu 18).
To receive announcements about the seminar, please send an email to los@fmi.unibuc.ro.