APA (7th ed.) Citation

Promsky, A. (2008). C# program verification problems: Solution by a three-level method. Інститут програмних систем НАН України.

Chicago Style (17th ed.) Citation

Promsky, A.V. C# Program Verification Problems: Solution by a Three-level Method. Інститут програмних систем НАН України, 2008.

MLA (8th ed.) Citation

Promsky, A.V. C# Program Verification Problems: Solution by a Three-level Method. Інститут програмних систем НАН України, 2008.

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