Formal Methods Guest Editorial

13 years 4 months ago

Download www.jucs.org

: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief

Richard Banach

Real-time Traffic

Formal Methods | Historical Background | Introductory Paper | JUCS 2007 |

claim paper

» Business process management Where business processes and web services meet

» Collaborative Authoring on the Web A Genre Analysis of Online Encyclopedias

Post Info
More Details (n/a)

Added	16 Dec 2010
Updated	16 Dec 2010
Type	Journal
Year	2007
Where	JUCS
Authors	Richard Banach

Comments (0)

Sciweavers

Formal Methods Guest Editorial

Formal Methods | Historical Background | Introductory Paper | JUCS 2007 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers