@phdthesis{Abd12a,
title = {Rigorous Implementation of Real-Time Systems },
author = {Abdellatif, Tesnim},
year = {2012},
school = {Universi\'e de Grenoble, France},
team = {DCS},
}
Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu:
SL-COMP: Competition of Solvers for Separation Logic