Betin-Can, A. And BULTAN, T. 2007. Highly dependable concurrent programming using design for verification. FORMAL ASPECTS OF COMPUTING , vol.19, no.2 , 243-268.

Betin-Can, A., & BULTAN, T., (2007). Highly dependable concurrent programming using design for verification. FORMAL ASPECTS OF COMPUTING , vol.19, no.2, 243-268.

Betin-Can, AYSU, And Tevfik BULTAN. "Highly dependable concurrent programming using design for verification," FORMAL ASPECTS OF COMPUTING , vol.19, no.2, 243-268, 2007

Betin-Can, AYSU B. And BULTAN, Tevfik. "Highly dependable concurrent programming using design for verification." FORMAL ASPECTS OF COMPUTING , vol.19, no.2, pp.243-268, 2007

Betin-Can, A. And BULTAN, T. (2007) . "Highly dependable concurrent programming using design for verification." FORMAL ASPECTS OF COMPUTING , vol.19, no.2, pp.243-268.

@article{article, author={AYSU BETİN CAN And author={Tevfik BULTAN}, title={Highly dependable concurrent programming using design for verification}, journal={FORMAL ASPECTS OF COMPUTING}, year=2007, pages={243-268} }