In this issue

Papers published: 10

Total pages: 87

Unique views: 9858

Total views: 12281

open access

Go to issue

« Previous
Issue 13(5)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 13(5)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Managing Editor's Column
Editorial
Managing Editor's Column
Hermann Maurer
10.3217/jucs-013-05
 28-05-2007
 Unique: 844 | Total: 1043
 592-592
HTML
XML
PDF
Formal MethodsGuest Editorial
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
 28-05-2007
 Unique: 904 | Total: 1111
 593-601
HTML
XML
PDF
Software Is More Than Code
Research Article
Software Is More Than Code
Sriram Rajamani
10.3217/jucs-013-05-0602
 28-05-2007
 Unique: 914 | Total: 1134
 602-606
HTML
XML
PDF
Formal Methods for Specifying, Validating, ...
Research Article
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance Heitmeyer
10.3217/jucs-013-05-0607
 28-05-2007
 Unique: 1274 | Total: 1599
 607-618
HTML
XML
PDF
Formal Methods: Theory Becoming Practice
Research Article
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
10.3217/jucs-013-05-0619
 28-05-2007
 Unique: 977 | Total: 1226
 619-628
HTML
XML
PDF
Floating-Point Verification
Research Article
Floating-Point Verification
John Harrison
10.3217/jucs-013-05-0629
 28-05-2007
 Unique: 951 | Total: 1175
 629-638
HTML
XML
PDF
Model Checking: Software and Beyond
Research Article
Model Checking: Software and Beyond
Edmund Clarke, Flavio Lerda
10.3217/jucs-013-05-0639
 28-05-2007
 Unique: 1094 | Total: 1318
 639-649
HTML
XML
PDF
Automated Formal Methods Enter the Mainstream
Research Article
Automated Formal Methods Enter the Mainstream
John Rushby
10.3217/jucs-013-05-0650
 28-05-2007
 Unique: 980 | Total: 1257
 650-660
HTML
XML
PDF
The Verification Grand Challenge
Research Article
The Verification Grand Challenge
Jim Woodcock, Richard Banach
10.3217/jucs-013-05-0661
 28-05-2007
 Unique: 1026 | Total: 1338
 661-668
HTML
XML
PDF
Realising the Benefits of Formal Methods
Research Article
Realising the Benefits of Formal Methods
Anthony Hall
10.3217/jucs-013-05-0669
 28-05-2007
 Unique: 894 | Total: 1080
 669-678
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK