HyperReal One: the implementation, the environment and an example.

Marco Agnoli, Alessandro Poli, Antonella Verdino, Francesco Tisato

Browse the full ECRTS paper archive.