Links

Learn

• Verification Corner

• Dafny

More me

• dblp

• GitHub

• mathmeth.org

• researchr.org

• ACM SIGPLAN

Connect

• Email: <given_name> . <family_name> at outlook . com

• Work email: <family_name> at <my_employer> . com