Author： Barthe Gilles Courtieu Pierre Dufay Guillaume Melo de Sousa Simão
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.35, Iss.4, 2005-11, pp. : 295-354
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Relating CASL with other specification languages: the institution level
Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. :
Access to resources
Recommend
Robust filters for low-level vision
By Marroquin J.L. Servin M. Rodriguez-Vera R.
Expert Systems with Applications, Vol. 14, Iss. 1, 1998-01 ,pp. :
Specification languages in algebraic compilers
By Van Wyk E.
Theoretical Computer Science, Vol. 291, Iss. 3, 2003-01 ,pp. :
A meta-language for typed object-oriented languages
By Castagna G.
Theoretical Computer Science, Vol. 151, Iss. 2, 1995-11 ,pp. :