TY  - BOOK
AU  - Groote, Jan Friso||Larsen, Kim Guldstrand
TI  - Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
KW  - Theory of Computation||Computer Systems Organization and Communication Networks||Control Structures and Microprogramming||Logic in AI||Information Systems and Communication Service||Computer Engineering and Networks||architecture verification and validation||artificial intelligence||automata theory||computer networks||embedded systems||formal languages||formal logic||linguistics||mathematics||model checking||model-checking||SAT and SMT solving||signal processing||software and hardware verification||software architecture||software engineering||specification and verification techniques||static and dynamic program analysis||system construction and transforamtion techniques||theorem-proving||Computer science||Mathematical theory of computation||Computer networking & communications||Algorithms & data structures
UR  - https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf||https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf
ER  -