Formal Methods In System Design

Journal title: Formal Methods In System Design
ISSN: 0925-9856
EISSN: 1572-8102
Publisher name: Springer
Publisher address: Van Godewijckstraat 30, Dordrecht, Netherlands, 3311 Gz
Languages: English
Subject: Computer Science, Theory & Methods