Hänvisningar gällande denna post
APA-referensAaltonen, T. (2005). Validating correctness with behavioural abstractions. Tampere University of Technology.
Chicago-stil citatAaltonen, Timo. Validating Correctness with Behavioural Abstractions. Tampere: Tampere University of Technology, 2005.
MLA-referensAaltonen, Timo. Validating Correctness with Behavioural Abstractions. Tampere University of Technology, 2005.
Harvard-stil citatAaltonen, T. 2005. Validating correctness with behavioural abstractions. Tampere: Tampere University of Technology.
Kom ihåg att kontrollera att källhänvisningarna är korrekta innan du använder dem i din text.