Turn on more accessible mode
Skip to main content
Turn off more accessible mode
R2D2 Team
>
Abstract State Machines Research Center
Sign In
|
Abstract State Machines Research Center
This Site
This List
Home
Abstract State Machines Research Center
>
Links
Links
Quick Launch
View All Site Content
Documents
AsmCenter Reports
Courses/Lectures
Annotated Asm Bibliography
SelectedPapers
Lists
Researchers
Members
Links
Links to ASM Material
Projects
Discussions
General Discussion
AsmTools Discussion
Modify settings and columns
Use the Links list for links to Web pages that your team members will find interesting or useful.
Actions
View:
All Links
Type
Edit
URL
Notes
e-mailing list for ASM-related issues
ASM-related info from UMich (publications, events, etc.)
World Wide Web Virtual Library on Formal Methods
Collection of Computer Science Bibliographies
Computer Science Bibliography at Trier
Provably Correct Systems ('ProCoS') Archive
QPQ Deductive Software Repository
Network for the Verified Software Repository
ASM 08