APA (7th ed.) Citation

Havelund, K. Formal analysis of a space-craft controller using SPIN. IEEE Transactions on software engineering.

Chicago Style (17th ed.) Citation

Havelund, K. "Formal Analysis of a Space-craft Controller Using SPIN." IEEE Transactions on Software Engineering .

MLA (9th ed.) Citation

Havelund, K. "Formal Analysis of a Space-craft Controller Using SPIN." IEEE Transactions on Software Engineering, .

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