Mathematical and Engineering Methods in Computer Science - Hutchison, David; Kanade, Takeo; Antos, David; Henzinger, Thomas A.; Nesetřil, Jaroslav; Vojnar, Tomás (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering