19. FASE 2016:
Eindhoven, The Netherlands (Part of ETAPS 2016)
share record
short URL:
https://dblp.org/rec/conf/fase/2016 Perdita Stevens ,
Andrzej Wasowski :
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science 9633,
Springer 2016 , ISBN
978-3-662-49664-0
share record
short URL:
https://dblp.org/rec/conf/fase/Nierstrasz16
Concurrent and Distributed Systems
share record
short URL:
https://dblp.org/rec/conf/fase/BasuB16 share record
short URL:
https://dblp.org/rec/conf/fase/CorrodiHP16 share record
short URL:
https://dblp.org/rec/conf/fase/LinYJL16 share record
short URL:
https://dblp.org/rec/conf/fase/HenrioKLM16
share record
short URL:
https://dblp.org/rec/conf/fase/SemerathVV16 export record
dblp key:
conf/fase/DebreceniRVCMT16 share record
short URL:
https://dblp.org/rec/conf/fase/DebreceniRVCMT16 share record
short URL:
https://dblp.org/rec/conf/fase/0001RACTP16 share record
short URL:
https://dblp.org/rec/conf/fase/CarlosST16 export record
dblp key:
conf/fase/WeckesserLSRS16 share record
short URL:
https://dblp.org/rec/conf/fase/WeckesserLSRS16
Analysis and Bug Triaging
share record
short URL:
https://dblp.org/rec/conf/fase/LechenetKG16 share record
short URL:
https://dblp.org/rec/conf/fase/WangLW16 share record
short URL:
https://dblp.org/rec/conf/fase/BolignanoJS16 share record
short URL:
https://dblp.org/rec/conf/fase/BadashianHS16
Probabilistic and Stochastic Systems
share record
short URL:
https://dblp.org/rec/conf/fase/GerholdS16 share record
short URL:
https://dblp.org/rec/conf/fase/SuCFRT16 share record
short URL:
https://dblp.org/rec/conf/fase/ChrszonDKB16 share record
short URL:
https://dblp.org/rec/conf/fase/DuranMA16
Proof and Theorem Proving
share record
short URL:
https://dblp.org/rec/conf/fase/0001K16 share record
short URL:
https://dblp.org/rec/conf/fase/EsparzaH16 share record
short URL:
https://dblp.org/rec/conf/fase/ChiritaFO16 share record
short URL:
https://dblp.org/rec/conf/fase/RiescoOF16
share record
short URL:
https://dblp.org/rec/conf/fase/PutterW16 Sander de Putter ,
Anton Wijs :
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. 383-400 share record
short URL:
https://dblp.org/rec/conf/fase/HuY16 share record
short URL:
https://dblp.org/rec/conf/fase/JancikAFHKS16
maintained by
, founded at