Diaconescu, R., & Futatsugi, K. (1998). CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification. World Scientific.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Diaconescu, Razvan, a Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification. Singapore: World Scientific, 1998.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Diaconescu, Razvan, a Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification. World Scientific, 1998.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..