APA (7th ed.) Citation

Bača, J., Giertl, J., & Chladný, V. (2004). Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics. Інститут програмних систем НАН України.

Chicago Style (17th ed.) Citation

Bača, J., J. Giertl, and V. Chladný. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.

MLA (8th ed.) Citation

Bača, J., et al. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.

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