![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Publisher: Springer Publishing Company
Founded in: 1989
Total resources: 7
E-ISSN: 1433-299X
ISSN: 0934-5043
Subject: TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Aspects of Computing
Menu
![](/images/ico/ico5.png)
By Boiten Eerke,Derrick John,Reeves Steve in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Relational concurrent refinement part III: traces, partial relations and automata
By Derrick John,Boiten Eerke in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
By Petre Luigia,Troubitsyna Elena,Waldén Marina in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Discovery of invariants through automated theory formation
By Llano Maria,Ireland Andrew,Pease Alison in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
The behavioural semantics of Event-B refinement
By Schneider Steve,Treharne Helen,Wehrheim Heike in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
By Banach Richard,Zhu Huibiao,Su Wen,Huang Runlei in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Introducing extra operations in refinement
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Refinement-based verification of implementations of Stateflow charts
By Miyazawa Alvaro,Cavalcanti Ana in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Derivation of concurrent programs by stepwise scheduling of Event-B models
By Boström Pontus,Degerlund Fredrik,Sere Kaisa,Waldén Marina in (2014)
Formal Aspects of Computing , Vol. 26, Iss. 2, 2014-03 , pp.![](/images/ico/ico5.png)
Reasoning about orchestrations of web services using partial correctness
By Stewart Alan,Gabarro Joaquim,Keenan Anthony in (2013)
Formal Aspects of Computing , Vol. 25, Iss. 6, 2013-11 , pp.