Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] NASA Formal Methods Symposium (NFM2021) -- Fin...

view this post on Zulip Email Gateway (Nov 28 2020 at 09:22):

From: "Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via Cl-isabelle-users" <cl-isabelle-users@lists.cam.ac.uk>

Final Call for Papers

Last updated: Jul 15 2022 at 23:21 UTC