Search

Record Citations

APA Citation

Aaltonen, T. (2005). Validating correctness with behavioural abstractions. Tampere University of Technology.

Chicago Style Citation

Aaltonen, Timo. Validating Correctness with Behavioural Abstractions. Tampere: Tampere University of Technology, 2005.

MLA Citation

Aaltonen, Timo. Validating Correctness with Behavioural Abstractions. Tampere University of Technology, 2005.

Harvard Style Citation

Aaltonen, T. 2005. Validating correctness with behavioural abstractions. Tampere: Tampere University of Technology.

Remember to check citations for accuracy before including them in your work.