Old Web
6
Papers
187
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Journal Conference Others
- Default
- Most Recent
- Most Early
- Most Citation
No data
- 2016 FM | Formal MethodsShow All
- Source
- Cite
- Save
Citations (5) -
- Source
- Cite
- Save
Citations (48) - 2011 FM | Formal Methods
- 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ß
Show All- Source
- Cite
- Save
Citations (72) - Show All
- Source
- Cite
- Save
Citations (1) -
- Source
- Cite
- Save
Citations (46)
- 1