BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nieto:Leonor_Prensa

Contributed to:

TACAS 20062006
ESOP 20032003
FASE 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.