Skip to main content
SpringerLink
Log in
Springer
Formal Aspects of Computing

Applicable Formal Methods

Publishing model:
Hybrid
Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles

Volume 28, Issue 5

September 2016

Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)

6 articles in this issue

  1. Editorial

    • Stephan Merz
    • Jun Pang
    • Jin Song Dong
    Editorial 12 August 2016 Pages: 723 - 724

Search

Navigation