K. Rustan M. Leino
Publication Activity (10 Years)
Years Active: 1994-2022
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- K. Rustan M. Leino
- K. Rustan M. Leino
- Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
- K. Rustan M. Leino, Clément Pit-Claudel
- K. Rustan M. Leino, Paqui Lucio
- K. Rustan M. Leino
- Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa
- Jason Koenig, K. Rustan M. Leino
- K. Rustan M. Leino, Valentin Wüstholz
- Nada Amin, K. Rustan M. Leino, Tiark Rompf
- K. Rustan M. Leino, Valentin Wüstholz
- Maria Christakis, K. Rustan M. Leino, Wolfram Schulte
- K. Rustan M. Leino, Michal Moskal
- K. Rustan M. Leino
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
- K. Rustan M. Leino, Nadia Polikarpova
- Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
- K. Rustan M. Leino
- K. Rustan M. Leino, Kuat Yessenov
- K. Rustan M. Leino
- John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson
- K. Rustan M. Leino
- K. Rustan M. Leino
- K. Rustan M. Leino
- K. Rustan M. Leino
- K. Rustan M. Leino, Aleksandar Milicevic
- Néstor Cataño, K. Rustan M. Leino, Víctor Rivera
- Claire Le Goues, K. Rustan M. Leino, Michal Moskal
- Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
- K. Rustan M. Leino
- Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
- Luke Herbert, K. Rustan M. Leino, Jose Quaresma
- Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
- Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
- K. Rustan M. Leino
- K. Rustan M. Leino
- K. Rustan M. Leino
- Michael Barnett, K. Rustan M. Leino
- K. Rustan M. Leino, Peter Müller, Jan Smans
- K. Rustan M. Leino, Philipp Rümmer
- K. Rustan M. Leino, Rosemary Monahan
- K. Rustan M. Leino, Peter Müller, Jan Smans
- Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
- K. Rustan M. Leino, Ronald Middelkoop
- K. Rustan M. Leino, Rosemary Monahan
- K. Rustan M. Leino, Peter Müller
- Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
- K. Rustan M. Leino, Peter Müller
- K. Rustan M. Leino, Peter Müller
- K. Rustan M. Leino, Peter Müller, Angela Wallenburg
- K. Rustan M. Leino, Angela Wallenburg
- Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff
- K. Rustan M. Leino
- K. Rustan M. Leino
- Ádám Darvas, K. Rustan M. Leino
- Gary T. Leavens, K. Rustan M. Leino, Peter Müller
- K. Rustan M. Leino
- K. Rustan M. Leino, Wolfram Schulte
- K. Rustan M. Leino
- K. Rustan M. Leino, Peter Müller
- Bor-Yuh Evan Chang, K. Rustan M. Leino
- Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
- K. Rustan M. Leino
- Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino
- Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
- K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
- Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
- K. Rustan M. Leino, Francesco Logozzo
- Michael Barnett, K. Rustan M. Leino
- K. Rustan M. Leino
- K. Rustan M. Leino, Peter Müller
- Bor-Yuh Evan Chang, K. Rustan M. Leino
- K. Rustan M. Leino
- Viktor Kuncak, K. Rustan M. Leino
- K. Rustan M. Leino, Wolfram SchulteException Safety for C#. SEFM (2004)
- Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
- Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
- K. Rustan M. Leino, Peter Müller
- K. Rustan M. Leino
- Michael Burrows, K. Rustan M. Leino
- Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
- K. Rustan M. Leino
- Martín Abadi, K. Rustan M. Leino
- Manuel Fähndrich, K. Rustan M. Leino
- K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
- K. Rustan M. Leino, Greg Nelson
- K. Rustan M. Leino
- K. Rustan M. Leino
- Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
- Cormac Flanagan, K. Rustan M. Leino
- K. Rustan M. Leino