Special issue: Formal languages and analysis of contract-oriented software (FLACOS 09). Selected papers based on the presentations at the 3rd workshop, Toledo, Spain, September 24--25, 2009.
zbMath1218.68026MaRDI QIDQ536528
No author found.
Publication date: 18 May 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Special issue: Formal languages and analysis of contract-oriented software (FLACOS 09). Selected papers based on the presentations at the 3rd workshop, Toledo, Spain, September 24--25, 2009.
