general; Software Engineering; Logics and Meanings

Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

2002 · ENGLISH · PDF

View details →

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

2002 · ENGLISH · PDF

View details →

Interactive Systems:Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

2002 · ENGLISH · PDF

View details →