Вы здесь
Salaun G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Formalising an Integrated Language in PVS | 2003 | Salaun G., Attiogbe C. | Lecture Notes in Computer Science | 09.01.2004 | |||
| СТ | Integration of Formal Datatypes within State Diagrams | 2003 | Attiogbe C., Poizat P., Salaun G. | Lecture Notes in Computer Science | 17.04.2003 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021 | 2021 | Lecture Notes in Computer Science |
|
10.12.2021 | |||
| СБ | Software Technologies: Applications and Foundations: Revised Selected Papers/STAF 2018 Collocated Workshops, Toulouse, France, June 2018 | 2019 | Lecture Notes in Computer Science |
|
19.03.2019 | |||
| СБ | Software Engineering and Formal Methods: Proc./12th International Conference, SEFM 2014, Grenoble, France, September 2014 | 2014 | Lecture Notes in Computer Science |
|
30.08.2014 | |||
| СБ | Formal Aspects of Component Software: Revised Selected Papers/9th International Symposium, FACS 2012, Mountain View,CA,USA, September 2012 | 2013 | Lecture Notes in Computer Science |
|
11.06.2013 |