Works matching IS 14332779 AND DT 2009 AND VI 11 AND IP 2
1
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 153, doi. 10.1007/s10009-008-0097-7
- Georgiou, Chryssis;
- Lynch, Nancy;
- Mavrommatis, Panayiotis;
- Tauber, Joshua
- Article
2
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 105, doi. 10.1007/s10009-009-0098-1
- Chatterjee, Shaunak;
- Lahiri, Shuvendu;
- Qadeer, Shaz;
- Rakamarić, Zvonimir
- Article
3
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 85, doi. 10.1007/s10009-009-0100-y
- Huth, Michael;
- Grumberg, Orna
- Article
4
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 117, doi. 10.1007/s10009-009-0099-0
- Yu, Andy;
- Ciardo, Gianfranco;
- Lüttgen, Gerald
- Article
5
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 95, doi. 10.1007/s10009-009-0101-x
- Bryant, Randal;
- Kroening, Daniel;
- Ouaknine, Joël;
- Seshia, Sanjit;
- Strichman, Ofer;
- Brady, Bryan
- Article
6
- International Journal on Software Tools for Technology Transfer, 2009, v. 11, n. 2, p. 133, doi. 10.1007/s10009-008-0095-9
- Article
