Improving Predictability, Efficiency and Trust of Model-Based Proof Activity

Jean-Frederic Etienne, Manuel Maarek, Florent Anseaume, Veronique Delebarre

SafeRiver

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

86 Downloads (Pure)

1 results
- Last Name(descending)

Manuel Maarek
- M.Maarekhw.acuk
- School of Mathematical & Computer Sciences - Associate Professor
- School of Mathematical & Computer Sciences, Computer Science - Associate Professor
Person: Academic (Research & Teaching)