Вы здесь
Leino K.R. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Object Invariants in Dynamic Contexts | 2004 | Leino K.R. M., Mueller P. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 30.07.2004 | ||
| СТ | A SAT Characterization of Boolean-Program Correctness | 2003 | Leino K.R. M. | Lecture Notes in Computer Science | 29.05.2003 | |||
| СТ | Applications of Extended Static Checking | 2001 | Leino K.R. M. | Lecture Notes in Computer Science | 31.07.2001 | |||
| СТ | Houdini, an Annotation Assistant for ESC/Java | 2001 | Flanagan C., Leino K.R. M. | Lecture Notes in Computer Science | 06.04.2001 | |||
| СТ | Data Groups: Specifying the Modification of Extended State | 1998 | Leino K.R. M. | SIGPLAN Notices | 21.04.1999 | |||
| П | Extended Static Checking | 1998 | Detlefs D. L., Leino K.R. M., Nelson G., Saxe J. B. | Digital | 17.02.1999 | |||
| П | A Logic of Object-Oriented Programs | 1998 | Abadi M., Leino K.R. M. | Digital | 17.02.1999 | |||
| П | Wrestling with Rep Exposure | 1998 | Detlefs D. L., Leino K.R. M., Nelson G. | Lecture Notes in Computer Science | Digital | 10.10.1998 | ||
| СТ | Recursive Object Types in a Logic of Object-Oriented Programs | 1998 | Leino K.R. M. | Lecture Notes in Computer Science | 17.04.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Aided Verification, Part II: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021 | 2021 | Lecture Notes in Artificial Intelligence |
|
20.08.2021 | |||
| СБ | Computer Aided Verification, Part I: Proc./33rd International Conference, CAV 2021, Virtual Event, July 2021 | 2021 | Lecture Notes in Computer Science |
|
20.08.2021 | |||
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016 | 2016 | Lecture Notes in Computer Science |
|
29.03.2016 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./17th Intern.Conf. TACAS 2001, Held as Part of Joint European Conferences ETAPS 2001, Saarbrucken, Germany, March 2011 | 2011 | Lecture Notes in Computer Science |
|
14.05.2011 |