Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Meseguer, José"'
Autor:
Meseguer, José
Publikováno v:
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers; 2016, p3-34, 32p
Autor:
Skeirik, Stephen, Meseguer, José
Publikováno v:
Rewriting Logic & Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers; 2016, p167-184, 18p
Publikováno v:
Rewriting Logic & Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers; 2016, p118-133, 16p
Autor:
Meseguer, José
Publikováno v:
Foundations of Software Science & Computation Structures (9783662496299); 2016, p493-509, 17p
Autor:
Durán, Francisco, Eker, Steven, Escobar, Santiago, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Publikováno v:
Automated Reasoning (9783319402284); 2016, p183-192, 10p
Publikováno v:
Programming Languages with Applications to Biology & Security; 2015, p238-261, 24p