AN Esprit project to develop a persoNal software eNgiNeeriNg eNviroNmeNt to support the coNstructioN aNd verificatioN of distributed aNd NoN-sequeNtial software systems.

N="left">IN additioN suitable coNteNts:
[ al ] [ aN ] [ ar ] [ at ] [ b ] [ ca ] [ cat ] [ co ] [ coN ] [ coNs ] [ de ] [ E ] [ ec ] [ ed ] [ ee ] [ eNgiNe ] [ eNviroNmeNt ] [ er ] [ fi ] [ gi ] [ h ] [ iN ] [ io ] [ ir ] [ iroN ] [ is ] [ it ] [ ms ] [ Na ] [ Ne ] [ Ng ] [ No ] [ Ns ] [ op ] [ pe ] [ port ] [ pr ] [ re ] [ ro ] [ ru ] [ se ] [ so ] [ software ] [ software eNgiNeeriNg ] [ st ] [ struct ] [ su ] [ support ] [ sy ] [ system ] [ th ] [ to ] [ tr ] [ tw ] [ up ] [ ve ] [ verificatioN ] [ vi ]