Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-29
ufmrg
/arch/msg/ufmrg/YqZRcS5Cy9jiT5P5yZ2YWkTZ6c4/
3454164
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Erik Auerswald
2024-04-29
ufmrg
/arch/msg/ufmrg/i5Qvgtf9nGB3ztpkih9z_fS1NP4/
3454143
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-29
ufmrg
/arch/msg/ufmrg/lKMv8DOpNSop7lb9ANLBoyfCjns/
3454108
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Erik Auerswald
2024-04-29
ufmrg
/arch/msg/ufmrg/bKREvdPc8eVZA4pS3DuVuxYdtXo/
3454059
2131462
[Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00[Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-28
ufmrg
/arch/msg/ufmrg/w_Snbcpa_tybM_eenrt4UxrMGpU/
3453525
2131462
[Ufmrg] Blog Post "Formal Methods: Just Good Engineering Practice?" by Marc Brooker[Ufmrg] Blog Post "Formal Methods: Just Good Engineering Practice?" by Marc Brooker
Erik Auerswald
2024-04-23
ufmrg
/arch/msg/ufmrg/4tpBpZTvg2B8S3vvUPq-Ez4t3qc/
3451925
2130769
[Ufmrg] ICTAC 2024 - Second Call for Papers[Ufmrg] ICTAC 2024 - Second Call for Papers
Hans-Dieter Hiep
2024-04-23
ufmrg
/arch/msg/ufmrg/23JGC6CG4w2xPjQofN5dxUWjing/
3451920
2130766
[Ufmrg] Forge, a tool to teach formal methods[Ufmrg] Forge, a tool to teach formal methods
Salz, Rich
2024-04-22
ufmrg
/arch/msg/ufmrg/Ifrw_u4aTo_a4t-ubd_POYHzbIY/
3451640
2130631