எபிஎ குறிப்பிணைப்பு

Müller-Olm, M. (1997). Modular compiler verification: A refinement-algebraic approach advocating stepwise abstraction. Berlin ; New York: Springer.

சிகாகோ பாணியிலான மேற்கோள்கள்

Müller-Olm, Markus. Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction. Berlin ; New York: Springer, 1997.

எம்எல்எ மேற்கோள் காட்டி

Müller-Olm, Markus. Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction. Berlin ; New York: Springer, 1997.

எச்சரிக்கை: இந்த மேற்கோள்கள் எப்போதும் 100% துல்லியமாக இருக்காது.