Formal Aspects of Computing

Applicable Formal Methods

ISSN: 0934-5043 (Print) 1433-299X (Online)
Browse Volumes & Issues