Prensa Nieto, Leonor 1974-
VIAF ID: 18139564 ( Personal )
Permalink: http://viaf.org/viaf/18139564
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL |