Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5255
search results - page 82 / 1051
»
Formal Methods for Privacy
Sort
relevance
views
votes
recent
update
View
thumb
title
18
click to vote
FAC
1998
99
views
more
FAC 1998
»
Heterogeneous Notations for Pure Formal Method Integration
13 years 9 months ago
Download
www-users.cs.york.ac.uk
Richard F. Paige
claim paper
Read More »
28
click to vote
COMCOM
1999
63
views
more
COMCOM 1999
»
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
13 years 9 months ago
Download
www.dmst.aueb.gr
Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
claim paper
Read More »
24
click to vote
CSUR
1999
137
views
more
CSUR 1999
»
Algebraic Methods for Specification and Formal Development of Programs
13 years 9 months ago
Download
homepages.inf.ed.ac.uk
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
claim paper
Read More »
38
click to vote
SCP
2002
75
views
more
SCP 2002
»
Formal methods: the very idea - Some thoughts about why they work when they work
13 years 9 months ago
Download
se.uwaterloo.ca
Daniel M. Berry
claim paper
Read More »
23
click to vote
SCP
2002
68
views
more
SCP 2002
»
Formal methods in practice
13 years 9 months ago
Download
www.win.tue.nl
Wolfgang Polak
claim paper
Read More »
« Prev
« First
page 82 / 1051
Last »
Next »