Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.