Dear colleagues,
Please consider submitting a paper on your experiences with formal methods
teaching to our FMTea19 workshop affiliated with the FM conference in Porto in
October. We are encouraging a wide spectrum discussion on how we should teach
formal methods in the 21st century, so your
Dear colleagues,
Please consider submitting a paper on your experiences with formal methods
teaching to our FMTea19 workshop affiliated with the FM conference in Porto in
October. We are encouraging a wide spectrum discussion on how we should teach
formal methods in the 21st century, so your