Login / Signup

Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011.

Published in: FLACOS (2011)
Keyphrases
  • international conference
  • formal languages
  • naacl hlt
  • databases
  • software development
  • software systems