Open AccessTools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Author(s) -
Armin Biere,
David Parker
Publication year - 2022
Publication title -
international journal on software tools for technology transfer
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.397
H-Index - 55
eISSN - 1433-2787
pISSN - 1433-2779
DOI - 10.1007/s10009-022-00677-9
Subject(s) - computer science , cover (algebra) , theory of computation , focus (optics) , algorithm , field (mathematics) , software , software engineering , programming language , mathematics , mechanical engineering , physics , pure mathematics , optics , engineering