Dynamic Tasks Verification with Quasar
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
Dynamic Tasks Verification with Quasar
AdaEurope, 2005.

AdaEurope 2005
Full names Links ISxN
	author        = "Sami Evangelista and Claude Kaiser and Christophe Pajault and Jean-François Pradat-Peyre and Pierre Rousseau",
	booktitle     = "{Proceedings of the 10th Ada-Europe International Conference on Reliable Software Technologies}",
	doi           = "10.1007/11499909_8",
	isbn          = "3-540-26286-5",
	pages         = "91--104",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Dynamic Tasks Verification with Quasar}",
	volume        = 3555,
	year          = 2005,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.