Michael Norrish - Wissenschaftliche Veröffentlichungen

(1 - 9 von 10

)

Success Stories in Formal Methods

www-i2.informatik.rwth-aachen.de

... Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch and Simon Winwood: seL4: ...

dblp: Michael Norrish

dblp.uni-trier.de

List of computer science publications by Michael Norrish

The VFiasco Project

os.inf.tu-dresden.de

The VFiasco project: related work

From Total Store Order to Sequential Consistency: A Practical...

www-wjp.cs.uni-saarland.de

... Practical Reduction Theorem", editor = "Matt Kaufmann and Lawrence Paulson and Michael Norrish", booktitle = "Interactive Theorem Proving (ITP 2010)" ...

dblp: Christian Urban

dblp.uni-trier.de

List of computer science publications by Christian Urban

Search results for "MERLIN" – FacetedDBLP

dblp.l3s.de

Michael Norrish: Mechanising Hankin and Barendregt using the Gordon-Melham axioms. MERLIN : 2003: DBLP DOI BibTeX RDF: higher order abstract syntax, interactive ...

michael norrish keith: Topics by Science.gov

www.science.gov

Festschrift in honour of Dr. Roger Keith · PubMed Central. McAlister, Vivian Summary The festschrift in honour of Dr. Roger Keith, past editor of the ...

dblp: BibTeX records: Peter Sewell

dblp.uni-trier.de

List of computer science publications by BibTeX records: Peter Sewell

[isabelle-dev] Hg sourcetree

mailmanbroy.informatik.tu-muenchen.de

[isabelle-dev] Hg sourcetree. Michael Norrish Michael.Norrish at nicta.com.au. Wed Dec :34:54 CET Previous message: [isabelle-dev] Hg sourcetree ...

Verwandte Suchanfragen zu Michael Norrish

Christian Urban
Chantal Keller
Gerwin Klein

Dale Miller
Peter Baumgartner

Personen
Vorname "Michael" (149265)
Name "Norrish" (4)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Michael Norrish