Author： Banach Richard
Publisher： Springer Publishing Company
ISSN： 0934-5043
Source： Formal Aspects of Computing, Vol.23, Iss.1, 2011-01, pp. : 113-131
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
On the purpose of Event-B proof obligations
Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. :
Access to resources
Recommend
Using Event-B to construct instruction set architectures
Formal Aspects of Computing, Vol. 23, Iss. 1, 2011-01 ,pp. :
Automatic integration of Web search interfaces with WISE-Integrator
By He Hai
The VLDB Journal, Vol. 13, Iss. 3, 2004-09 ,pp. :