Cita APA

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

Citación estilo Chicago

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

Cita MLA

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.