Shilov, N. V. F@BOOL@: Experiment with a simple verifying compiler based on SAT-solvers. Yaroslavl State University.
Chicago Style (17th ed.) CitationShilov, N. V. F@BOOL@: Experiment with a Simple Verifying Compiler Based on SAT-solvers. Yaroslavl State University.
MLA (9th ed.) CitationShilov, N. V. F@BOOL@: Experiment with a Simple Verifying Compiler Based on SAT-solvers. Yaroslavl State University.
Warning: These citations may not always be 100% accurate.