APA (7th ed.) Citation

Långbacka, T. (1997). An Interactive environment supporting the development of formally correct programs. Turku Center for Computer Science.

Chicago Style (17th ed.) Citation

Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku: Turku Center for Computer Science, 1997.

MLA (8th ed.) Citation

Långbacka, Thomas. An Interactive Environment Supporting the Development of Formally Correct Programs. Turku Center for Computer Science, 1997.

Warning: These citations may not always be 100% accurate.