Previous
Next
Journal
- international journal on software tools for technology transfer34
- construction & analysis of safe, secure & interoperable smart devices13
- tools and algorithms for the construction and analysis of systems : 25 years of tacas: toolympics, held as part of etaps 2019, prague, czech republic, april 6-11, 2019, proceedings, part iii11
- construction & analysis of safe, secure & interoperable smart devices (9783540336891)9
- tools and algorithms for the construction and analysis of systems : 24th international conference, tacas 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, thessaloniki, greece, april 14-20, 2018, proceedings, part ii9
- science of computer programming4
- software & systems modeling3
- theoretical computer science3
- entcs: electronic notes in theoretical computer science2