Using temporal relations to specify and test an instant messaging server
Other conference contribution, 2010
Author
John Hughes
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Ulf Norell
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
J. Sautret
Process One
Proceedings - International Conference on Software Engineering
0270-5257 (ISSN)
95-102978-160558970-1 (ISBN)
Subject Categories
Computer and Information Science
DOI
10.1145/1808266.1808281
ISBN
978-160558970-1