Programming from Control Laws

Research output

Research output per year 2006 2008 2009 2010 2011 2012 2014

• 16 Article
• 6 Conference contribution
• 6 Paper
• 1 Book

Research output per year

Research output per year

Search results

• 2010

  Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007

  Borba, P. (Editor), Cavalcanti, A. (Editor), Sampaio, A. (Editor) & Woodcock, J. (Editor), 2010, Springer. (Lecture Notes in Computer Science; vol. 6153)

  Research output: Book/Report › Book