Author: Warfield John
Publisher: Taylor & Francis Ltd
ISSN: 0308-1079
Source: International Journal of General Systems, Vol.36, Iss.1, 2007-02, pp. : 79-89
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
Predicate transformers and higher-order programs
By Naumann D.A.
Theoretical Computer Science, Vol. 150, Iss. 1, 1995-10 ,pp. :