Home Advanced Search

Advanced Search - Page 1

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Michael Leuschel (auth.), Maurizio Proietti (eds.)
Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Michael Leuschel (auth.), Maurizio Proietti (eds.)
Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
  • DJVU
  • English
  • Year: 2004
  • Author: Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.)
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Violet Ka I Pun, Volker Stolz, Adenilso Simao
search