Formal veri of multilingual instructions. The joint winter meeting of computing science and computer engineering (2001)

by K Johannisson