Formal Aspects of Computing

Applicable Formal Methods

ISSN: 0934-5043 (Print) 1433-299X (Online)
  • 27 Volumes
  • 128 Issues
  • 856 Articles
  • 20 Open Access
  • 1989 - 2015 Available between