Software Engineering 3 - Bjøner, Dines; Bjorner, Dines; Rozenberg, Grzegorz; Salomaa, Arto (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering