Gaya APA

Betin-Can, Aysu, Bultan, Tevfik. (). Highly dependable concurent programming using design for verification . : .

Gaya Chicago

Betin-Can, Aysu, Bultan, Tevfik. Highly dependable concurent programming using design for verification. : , . Text.

Gaya MLA

Betin-Can, Aysu, Bultan, Tevfik. Highly dependable concurent programming using design for verification. : , . Text.

Gaya Turabian

Betin-Can, Aysu, Bultan, Tevfik. Highly dependable concurent programming using design for verification. : , . Print.