Penggayaan APA

Lau, Kung-Kiu., Banach, Richard., SpringerLink (Online service). (). Formal Methods and Software Engineering (1st ed. 2005.). : .

Chicago Style

Lau, Kung-Kiu., Banach, Richard., SpringerLink (Online service). Formal Methods and Software Engineering. 1st ed. 2005. : , . E Book.

MLA Style

Lau, Kung-Kiu., Banach, Richard., SpringerLink (Online service). Formal Methods and Software Engineering. 1st ed. 2005. : , . E Book.

Turabian Style

Lau, Kung-Kiu., Banach, Richard., SpringerLink (Online service). Formal Methods and Software Engineering. 1st ed. 2005. : , . E Book.