Share
Institution: KU Leuven
Belgium
Retrieved : 2018-07-26 Expired
Description :
Help advance the state of the art in techniques for formal verification of correctness and security properties of computer programs




Are you recruiting?


List your jobs offers on Sciencedz.net (FREE).

Contact us now!
Disclaimer : We aim to provide correct and reliable information about upcoming events, but cannot accept responsibility for the text of announcements or for the bona fides of event organizers. Please feel free to contact us if you notice incorrect or misleading information and we will attempt to correct it.