Вы здесь
Blazy S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Reuse of Specification Patterns with the B Method | 2003 | Blazy S., Gervais F., Laleau R. | Lecture Notes in Computer Science | 20.06.2003 | |||
| СТ | An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs | 1996 | Blazy S., Facon P. | Lecture Notes in Computer Science | Partial Evaluation | 09.10.1996 | ||
| СТ | Formal Specification and Prototyping of a Program Specializer | 1995 | Blazy S., Facon P. | Lecture Notes in Computer Science | 20.06.1995 | |||
| СТ | Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs | 1993 | Blazy S., Facon P. | Lecture Notes in Computer Science | 01.07.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/8th Internayional Conference, VSTTE 2016, Toronto,ON,Canada, July 2016 | 2016 | Lecture Notes in Computer Science |
|
24.01.2017 | |||
| СБ | Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 |