Infoscience

Thesis

Formal Testing of Object-Oriented Software: from the Method to the Tool

Related material