Skip to main content
Log in
Formal Aspects of Computing

Applicable Formal Methods

Publishing model:
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.

Volumes and issues

Search all Formal Aspects of Computing articles
  • Volume 33

    • Issue 6
    • Issue 4-5

      Extended versions of papers presented at FM 2019

    • Issue 3

      Formal Methods and AI

    • Issue 2
    • Issue 1

      EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2018

  • Volume 32

  • Volume 31

    • Issue 6

      SPECIAL ISSUE ON HISTORY OF FORMAL METHODS

    • Issue 5

      EXTENDED VERSIONS OF SELECTED PAPERS PRESENTED AT FASE 2018

    • Issue 4

      INDIVIDUAL CONTRIBUTIONS

    • Issue 3

      INDIVIDUAL CONTRIBUTIONS

    • Issue 2

      EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2016

    • Issue 1

      EXTENDED VERSIONS OF PAPERS PRESENTED AT SETTA 2016 (pp 1 - 58)

  • Volume 30

    • Issue 6

      EXTENDED VERSIONS OF PAPERS PRESENTED AT TAP 2016 (pp 627-684)

    • Issue 5

      EXTENDED VERSIONS OF PAPERS PRESENTED AT FM 2015

    • Issue 3-4

      INDIVIDUAL CONTRIBUTIONS

    • Issue 2

      INDIVIDUAL CONTRIBUTIONS

    • Issue 1

      Extended versions of papers presented at FASE'16

  • Volume 29

    • Issue 6

      INDIVIDUAL CONTRIBUTIONS

    • Issue 5

      INDIVIDUAL CONTRIBUTIONS

    • Issue 4

      Extended versions of papers presented at SETTA 2015

    • Issue 3

      Extended versions of papers presented at LOPSTR 2015

    • Issue 2

      INDIVIDUAL CONTRIBUTIONS

    • Issue 1

      Extended versions of papers presented at LOPSTR 14

  • Volume 28

    • Issue 6

      Individual Contributions

    • Issue 5

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

    • Issue 4

      Extended versions of papers presented at WS-FM 2014 and Beat 2014

    • Issue 3

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

    • Issue 2

      Extended versions of papers presented at SEFM 14 (pp. 179-323)

    • Issue 1

      Individual contributions

  • Volume 27

  • Volume 26

  • Volume 25

  • Volume 24

  • Volume 23

  • Volume 22

  • Volume 21

  • Volume 20

  • Volume 19

  • Volume 18

  • Volume 17

  • Volume 16

  • Volume 15

  • Volume 14

  • Volume 13

  • Volume 12

  • Volume 11

  • Volume 10

  • Volume 9

  • Volume 8

  • Volume 7

  • Volume 6

  • Volume 5

  • Volume 4

  • Volume 3

  • Volume 2

  • Volume 1

Navigation