for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.
This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings... Læs mere
This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings... Læs mere
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.
VMCAI provides topics including: program verification, model checking,... Læs mere