Automatic Verification of Strongly Dynamic Software Systems

14 years 5 months ago

Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A

Software Engineering | VSTTE 2005 |

claim paper

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	VSTTE
Authors	Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh

Comments (0)