|
Software Engineering Research Group
|
LinksVerification and Testing Research Group University of Sheffield www.dcs.shef.ac.uk/vt/ Formal Methods Virtual Library vl.fmnet.info X-machines www.x-machines.com P systems psystems.disco.unimib.it The Tropos Project http://www.troposproject.org The Directory of Computing Science Journals elib.cs.sfu.ca/Collections/CMPT/cs-journals/ Institute of Electrical and Electronics Engineers www.ieee.org Association for Computing Machinery www.acm.org Department of Computer Science CITY Liberal Studies, affiliated Institution of the University of Sheffield 13 Tsimiski str., Thessaloniki, 54624, Greece Tel. ++30.2310.275.575 Fax. +30.2310.287.564 |
|
|
Page created and maintained by I. Stamatopoulou. Last modified: December 2005 | ||