Normal view
MARC view
- FORMAL METHODS(COMPUTER SCIENCE)
FORMAL METHODS(COMPUTER SCIENCE) (Topical Term)
Machine generated authority record.
Work cat.: ()175514: [FDL] THE FORUM ON SPECIFICATION AND DESIGN LANGUAGES ( 2016 : Bremen) 21155, Languages, design methods, and tools for electronic system design :, 2018