Skip to content

Mr Diego Dias

Leo Freitas


Mechanising a refinement calculus for Rely/Guarantee in Isabelle/HOL


Contact