@article{Hal98b,
title = {About synchronous programming and abstract interpretation },
author = {Halbwachs, Nicolas},
month = {may},
year = {1998},
journal = {Science of Computer Programming, Special Issue on SAS'94},
number = {1},
volume = {31},
team = {SYNC},
}
