Palanque and F. Paternó, editors, F

Palanque and F. Paternó, editors, Formal Methods in Human–Computer Interaction, Springer-Verlag, 1997.

Kết quả (Việt) 1:

Palanque và F. Paternó, biên tập viên, các phương pháp hình thức trong con người-máy tính tương tác, Springer Verlag, 1997.

Kết quả (Việt) 2:

Palanque và F. Paterno, biên tập viên, phương pháp chính thức trong tương tác người-máy tính, Springer-Verlag, 1997.