Previous
Next
Journal
- ifac-papersonline2
- acm sigsoft software engineering notes1
- automata, languages & programming (9783540275800)1
- computer aided verification (9783540272311)1
- entcs: electronic notes in theoretical computer science1
- formal methods & software engineering1
- formal methods in system design1
- international journal on document analysis and recognition1
- journal of computer and system sciences1