Formal Aspects of Computing

ISSNs: 0934-5043

Springer London

Scopus rating (2021): CiteScore 2.6

Journal

Publications

  1. 2021
  2. Editorial

    Chen, X., Liu, Z., Wang, J. & Woodcock, J., 1 Jun 2021

    Editorial in Formal Aspects of Computing

  3. 2020
  4. 2017
  5. Editorial

    Proietti, M., Seki, H. & Woodcock, J., 1 Jan 2017

    Editorial in Formal Aspects of Computing

  6. 2016
  7. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  8. 2015
  9. Editorial

    Woodcock, J. C. P. & Jones, C. B., Nov 2015

    Editorial in Formal Aspects of Computing

  10. 2014
  11. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  12. 2013
  13. 2012
  14. 2011
  15. 2010
  16. 2009
Previous 1 2 Next

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations