K. Rustan Leino and Springer - Free people check

(1 - 11 from 11

)

Pono: A Flexible and Extensible SMT-Based Model Checker

collaborate.princeton.edu

by M Mann · · Cited by 11 — Editors, Alexandra Silva, K. Rustan Leino. Publisher, Springer Science and Business Media Deutschland GmbH. Pages, Number of pages, 14. › publications › pono-...

FM'99 - Formal Methods: World Congress on Formal Methods in ...

books.google.hr

Mart ́in Abadi and K. Rustan Leino. A logic of object-oriented programs. In Proceedings, TAPSOFT Springer-Verlag, Expanded in DEC SRC report

A weakest precondition semantics for an object Springer

link.springer.com

by A Cavalcanti · · Cited by 70 — Martíin Abadi and K. Rustan Leino. A logic of object-oriented programs. In Proceedings, TAPSOFT Springer-Verlag, › chapter

Our First Program | SpringerLink

link.springer.com

by B Sitnikovski · — Designed by Rustan Leino and developed by Microsoft since 2009, Dafny is used in academia and the industry and is regularly used in... › chapter

All web results to the name "K. Rustan Leino"

A Weakest Precondition Semantics for an Object CIn UFPE

www.cin.ufpe.br

by A Cavalcanti · · Cited by 70 — [AL97] Mart in Abadi and K. Rustan Leino. A logic of object-oriented programs. In. Proceedings, TAPSOFT Springer-Verlag, Expanded in DEC SRC. › ~lmf › reports › rool.ps.gz

Adapting Behaviors via Reactive Synthesis — Ben-Gurion University ...

cris.bgu.ac.il

Editors, Alexandra Silva, K. Rustan Leino. Publisher, Springer Science and Business Media Deutschland GmbH. Pages, Number of pages, 24. › publications › adapting-behaviors...

FM '99, Formal Methods: World Congress on Formal EPDF

epdf.pub

[AL97] Mart´in Abadi and K. Rustan Leino. A logic of object-oriented programs. In Proceedings, TAPSOFT Springer-Verlag, › fm-99-formal-methods-world-congress-...

GPU Acceleration of Bounded Model Checking with ParaFROST

research.tue.nl

Redacteuren, Alexandra Silva, K. Rustan Leino. Uitgeverij, Springer. Pagina's, Aantal pagina's, 14. ISBN van geprinte versie, › publications

Model Checking ω -Regular Properties with Decoupled Search

orbit.dtu.dk

by D Gnad · · Cited by 1 — Editors, Alexandra Silva, K. Rustan Leino. Publisher, Springer. Publication date, Pages, ISBN (Print), › publications › model-checking-ω-r...

Reflections on Termination of Linear Loops — New Jersey ...

www.researchwithnj.com

Editors, Alexandra Silva, K. Rustan Leino. Publisher, Springer Science and Business Media Deutschland GmbH. Pages, Number of pages, 24. › publications › reflecti...

Towards a Trustworthy Semantics-Based Language ...

experts.illinois.edu

by X Chen · · Cited by 11 — Alexandra Silva, K. Rustan Leino · Springer · · 23 · › publications › towards-a-tru...

Related search requests for K. Rustan Leino

Peter Müller
Wolfram Schulte
Mark Lillibridge

Alexandra Silva
Erik Poll
Burkhart Wolff

Anne-Marie Kermarrec
Martin Kersten
James Landay

Person "Leino" (1)
Forename "Rustan" (24)
Name "Leino" (180)

sorted by relevance / date

Advanced Search

Search name: 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

K. Rustan Leino and Springer Free People Check