Documents (Codes MSC)

• [Virtualconference] Probabilistic model checking for strategic equilibria-based decision making: Part 1 / Auteur de la Conférence Kwiatkowska, Marta. CIRM
  
• [Virtualconference] Program semantics with token passing / Auteur de la Conférence Muroya, Koko. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la Conférence Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Programming with numerical uncertainties / Auteur de la Conférence Darulova, Eva. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Auteur de la Conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Proof and computation in Coq / Auteur de la Conférence Théry, Laurent. -Marseille : CIRM
  

Documents liés : [6 document(s)]