Please
log in
if you want to be
notified when
formal specification is mentioned
on Eventseer.net. Click the tracker button below to
activate notifications.
Click the button to be notified on your
personal tracker
whenever
this topic is
mentioned in an event.
formal specification
Formal specification is mentioned in 76 events. This topic is frequently associated with Bernd Finkbeiner, Klaus Havelund and Michael Sheng.
Facts about formal specification
|
|
people: |
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.