Jump to main content

yr 〜
yr

Search results 2

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)
Paper図書
Springer[2015]<M17-15-1608>
National Diet Library
  • Author Heading...a, Christiano. Martí-Oliet, N. (Narciso) Universidade Federal de Alago...

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012 : Salamanca, Spain, June 7-10, 2012 : revised selected papers : Jun 2012, Salamanca, Spain. (Lecture Notes in Computer Science ; 7841)

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012 : Salamanca, Spain, June 7-10, 2012 : revised selected papers : Jun 2012, Salamanca, Spain. (Lecture Notes in Computer Science ; 7841)
Paper図書
Springerc2013.<M17-13-2770>
National Diet Library
  • Author Heading...amanca, Spain) Martí-Oliet, N. (Narciso) Palomino, Miguel. Universidad...

Reached to the end of result.

RSS