Travelled to:1 × Austria
1 × Poland
1 × The Netherlands
Collaborated with:∅ T.Nipkow P.Fontaine J.Marion S.Merz A.F.Tiu
Talks about:isabell (2) hol (2) interact (1) guarante (1) express (1) toward (1) solver (1) owicki (1) method (1) combin (1)
Person: Leonor Prensa Nieto
DBLP: Nieto:Leonor_Prensa
Contributed to:
2006
2003
1999Wrote 3 papers:
- TACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards
- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
- ESOP-2003-Nieto #higher-order
- The Rely-Guarantee Method in Isabelle/HOL (LPN), pp. 348–362.
- FASE-1999-NipkowN #higher-order
- Owicki/Gries in Isabelle/HOL (TN, LPN), pp. 188–203.