CLLC's Top Recommendations

These recommendations were last updated about 2 hours ago.

	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted by 10 people JoseBrox pirapira jrw qwermish ansobol dmitri83 archernikov jedal Model theory teesid
	Algebra and logic for access control [My Copy] Formal Aspects of Computing by Matthew Collinson, David Pym posted by 2 people pirapira michaelbanks
	Epistemic actions as resources [My Copy] (7 Aug 2006) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted by 6 people pirapira leemond31 jrw greg_restall dmitri83 Scis0000002
	Efficient mechanisms for bilateral trading [My Copy] Journal of Economic Theory, Vol. 29, No. 2. (April 1983), pp. 265-281. by Roger B. Myerson, Mark A. Satterthwaite posted by 5 people rjohari cblock aganga toomash pirapira
	Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences [My Copy] IEEE Transactions on Parallel and Distributed Systems, Vol. 6, No. 2. (1995), pp. 204-211. by William Pugh, David Wonnacott posted by 2 people pmatos pirapira
	The Small-World Phenomenon: An Algorithmic Perspective [My Copy] In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000) by Jon Kleinberg posted by 50 people ariels pirapira semantic01 brewbooks mhofree sototozo pick600 camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ gvdh Social Web casst122 mpotamias kaks paulovn pedagand wangjava
	A Formal Calculus for Categories [My Copy] (2003) by Mario J. Cáccamo posted by 4 people pirapira jrw scis0000001 Scis0000002
	Knowledge-based programs [My Copy] Distributed Computing, Vol. 10, No. 4. (4 July 1997), pp. 199-225. by Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi posted by 2 people pirapira mperalta
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted by 4 people pirapira ConcertRG robertjohnsimmons kozima
	Investigations into Logical Deduction [My Copy] American Philosophical Quarterly, Vol. 1, No. 4. (1964), pp. 288-306. by Gerhard Gentzen posted by 3 people pirapira ConcertRG robertjohnsimmons
	Comparison of Multiobjective Evolutionary Algorithms on Test Functions of Different Difficulty [My Copy] In Proceedings of the 1999 Genetic and Evolutionary Computation Conference. Workshop Program (1999), pp. 121-122. by Eckart Zitzler, Kalyanmoy Deb, Lothar Thiele edited by Annie S. Wu posted by 3 people pirapira danscott katushkin
	Efficient parallel genetic algorithms: theory and practice [My Copy] Computer Methods in Applied Mechanics and Engineering, Vol. 186, No. 2-4. (9 June 2000), pp. 221-238. by Erick Cantu-Paz, David E. Goldberg posted by 2 people pirapira Bc91
	From worlds to possibilities [My Copy] Journal of Philosophical Logic, Vol. 10, No. 3. (1 August 1981), pp. 313-339. by I. L. Humberstone posted by 2 people pirapira perezcarballo
	LISP - Notes on its Past and Future [My Copy] In Conference Record of the 1980 LISP Conference, Stanford University (1980) by J. Mccarthy posted by 5 people pirapira hamish ansobol jrw bunge
	Artificial Social Systems [My Copy] Computers and AI, Vol. 14, No. 6. (1995), pp. 533-562. by Y. Moses, M. Tennenholtz posted by 4 people semantic01 cscw01 pirapira Scis0000002
	A Sufficient Condition for Backtrack-Free Search [My Copy] J. ACM, Vol. 29, No. 1. (January 1982), pp. 24-32. by Eugene C. Freuder posted by 3 people pirapira lcigler GeoffWozniak
	Handbook of Genetic Algorithms [My Copy] Van Nostrand Reinhold (1991) by L. D. Davis, Melanie Mitchell posted by 3 people pirapira eabait rockelegancy
	Category theory based on combinatory logic [My Copy] Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16. by M. W. Bunder posted by 3 people jrw scis0000001 pirapira
	Knowledge-based modelling of voting protocols [My Copy] In TARK '07: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007), pp. 62-71. by A. Baskar, R. Ramanujam, S. P. Suresh posted by 2 people pirapira sgwyj
	The Claremont report on database research [My Copy] Commun. ACM, Vol. 52, No. 6. (2009), pp. 56-65. by Rakesh Agrawal, Anastasia Ailamaki, Philip A. Bernstein, et al.Eric A. Brewer, Michael J. Carey, Surajit Chaudhuri, Anhai Doan, Daniela Florescu, Michael J. Franklin, Hector G. Molina, Johannes Gehrke, Le Gruenwald, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Hank F. Korth, Donald Kossmann, Samuel Madden, Roger Magoulas, Beng C. Ooi, Tim O'Reilly, Raghu Ramakrishnan, Sunita Sarawagi, Michael Stonebraker, Alexander S. Szalay, Gerhard Weikum posted by 3 people pirapira maropu mogwaing
	Principles of Distributed Database Systems (2nd Edition) [My Copy] (19 January 1999) by Tamer M. Ozsu, Patrick Valduriez posted by 10 people xuyan888888xuyan hardi karthiknvss baaic fabiolljunior myui zflavio pirapira Oracle_10g_Group alkal
	An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming [My Copy] by Jonathan M. D. Hill, Keith Clarke posted by 13 people pirapira algorithmic draganigajic ansobol jrw zednenem proportional jutaro glaubersp mathcoq ps_ttf Lambda the Ultimate namin
	A database of categories [My Copy] J. Symb. Comput., Vol. 35, No. 2. (February 2003), pp. 127-135. by Michael Fleming, Ryan Gunther, Robert Rosebrugh posted by 4 people isotelesis jrw scis0000001 pirapira
	Quark: an efficient XQuery full-text implementation [My Copy] In SIGMOD '06: Proceedings of the 2006 ACM SIGMOD international conference on Management of data (2006), pp. 781-783. by Anand Bhaskar, Chavdar Botev, Muthiah, et al.Lin Guo, Jayavel Shanmugasundaram, Feng Shao, Fan Yang posted by 2 people ksclarke pirapira
	The Capital Asset Pricing Model: Theory and Evidence [My Copy] The Journal of Economic Perspectives, Vol. 18, No. 3. (2004), pp. 25-46. by Eugene F. Fama, Kenneth R. French posted by 3 people RobHayward tkravitz pirapira
	Data-driven design of HMM topology for online handwriting recognition [My Copy] (2002), pp. 107-121. by Jay J. Lee, Jahwan Kim, Jin H. Kim posted by 2 people pirapira poluxmoon
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] ArXiv e-prints (6 March 2009) by J. C. Baez, M. Stay posted by 12 people amozeika mwbuksas pirapira egcavalcanti Scis0000002 jjrohal ttylec sflammia ansobol janpaniev jrw pqnelson
	Fully homomorphic encryption using ideal lattices [My Copy] In STOC '09: Proceedings of the 41st annual ACM symposium on Theory of computing (2009), pp. 169-178. by Craig Gentry posted by 9 people akavipat pirapira msakai creswick dimvar dennis2008 jrw sanxiyn sflammia
	Can the Universe Create Itself? [My Copy] (30 Dec 1997) by Richard J. Gott, Li-Xin Li posted by 2 people kevina pirapira
	Reflective metalogical frameworks [My Copy] ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576. by David Basin, Manuel Clavel, José Meseguer posted by 8 people isotelesis pirapira leemond31 dalev scis0000001 Benja Scis0000002 NU-PRL
	Foundations for engineering biology [My Copy] Nature, Vol. 438, No. 7067., pp. 449-453. by Drew Endy posted by 15 people antonkratz gvillar jec105 ClaireFB monod jmeppley eweaver perrywoo johncumbers pirapira kevinchannon dbikard SynBioSys austin grahamc
	The use of finite fields to compute convolutions [My Copy] Information Theory, IEEE Transactions on, Vol. 21, No. 2. (1975), pp. 208-213. by I. Reed, Treiu-Kien Truong posted by 2 people pirapira franck179
	XML Data Management: Native XML and XML-Enabled Database Systems [My Copy] (12 March 2003) by Akmal B. Chaudhri, Awais Rashid, Roberto Zicari posted by 7 people sebis-bibliothek elliotb dagmar pirapira dIEMoSIRIS compneur federicopaoloni
	Database in Depth [My Copy] (06 May 2005) by C. J. Date posted by 4 people dmhannah hohmanms1 robby pirapira
	Sorting and Selection in Posets [My Copy] (10 Jul 2007) by Constantinos Daskalakis, Richard M. Karp, Elchanan Mossel, Samantha Riesenfeld, Elad Verbin posted by 4 people ansobol jrw rsantana pirapira
	An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) [My Copy] (06 August 2007) by Peter Smith posted by 4 people pirapira dwei98 Scis0000002 NitinCR
	Elements of basic category theory [My Copy] (1996) by A. Martini, H. Ehrig, D. Nunes posted by 9 people pirapira A_Olympia ansobol jrw tautologico proportional ds julianjonker davidmathers
	Mobile databases: a selection of open issues and research directions [My Copy] SIGMOD Rec., Vol. 33, No. 2. (June 2004), pp. 78-83. by Guy Bernard, Jalel Ben-Othman, Luc Bouganim, et al.G&\#233;r&\#244;me Canals, Sophie Chabridon, Bruno Defude, Jean Ferri&\#233;, St&\#233;phane Gan&\#231;arski, Rachid Guerraoui, Pascal Molli, Philippe Pucheral, Claudia Roncancio, Patricia Serrano-Alvarado, Patrick Valduriez posted by 4 people hardi yiweicao pirapira hyheng
	CLL: A concurrent language built from logical principles [My Copy] (2005) by D. Garg posted by 3 people jrw mstone pirapira
	Molecular implementation of simple logic programs [My Copy] Nature Nanotechnology, Vol. 4, No. 10. (02 August 2009), pp. 642-648. by Tom Ran, Shai Kaplan, Ehud Shapiro posted by 3 people pirapira Orengo Group Journal Picks robertrentzsch
	On the convergence of reduction-based and model-based methods in proof theory [My Copy] Logic Jnl IGPL, Vol. 17, No. 5. (1 October 2009), pp. 489-497. by Gilles Dowek posted by 2 people pirapira kozima
	The Logic of Possible Worlds [My Copy] Theory Culture Society, Vol. 23, No. 2-3. (1 May 2006), pp. 94-95. by Neil Turnbull posted by 2 people pirapira tamda
	Temporal and modal logic [My Copy] (1990), pp. 995-1072. by E. Allen Emerson posted by 5 people shakilmkhan pirapira aristodemos schuh bunge
	Computer Support for Social Awareness in Flexible Work [My Copy] Computer Supported Cooperative Work (CSCW), Vol. 15, No. 1. (February 2006), pp. 1-28. by Bodker, Susanne, Christiansen, Ellen posted by 10 people cmalek markumoto maike pirapira nspeed Interaction-Design-Research-Division Braccetto ahat Social Web Huadong
	Supporting Trust in Virtual Communities [My Copy] In HICSS (2000) by Alfarez A. Rahman, Stephen Hailes posted by 10 people spinster chadhogg jenine paulteusner Ewan_Pohe mbenz pirapira paulvb what_is_a_library SITCRC
	The Omega test: a fast and practical integer programming algorithm for dependence analysis [My Copy] In Supercomputing (1991), pp. 4-13. by William Pugh posted by 6 people kvm jolilius pmatos mzygmunt pirapira TUCS-ES_Lab
	A computational model of trust and reputation [My Copy] System Sciences, 2002. HICSS. Proceedings of the 35th Annual Hawaii International Conference on (2002), pp. 2431-2439. by L. Mui, M. Mohtashemi, A. Halberstadt posted by 6 people pajoma pirapira yiling musil Malc Social Web
	How do we know that we know what we know? [My Copy] Physics Education, Vol. 42, No. 3. (2007), pp. 238-244. by Rick Marshall posted by 2 people wandall pirapira
	Establishing online trust through a community responsibility system [My Copy] pp. 323-336. by S. Ba posted by 3 people pajoma pirapira musil
	Stock market prediction using artificial neural networks with optimal feature transformation [My Copy] Neural Computing & Applications, Vol. 13, No. 3. (September 2004), pp. 255-260. by Kim, Kyoung-Jae, Lee, Won posted by 3 people n0e pirapira zhengzhong
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	A formal method to prove ordering properties of multicast systems [My Copy] SIGOPS Oper. Syst. Rev., Vol. 33, No. 4. (October 1999) by C. Toinard, G. Florin, C. Carrez posted by 4 people momo54 oster pirapira ecoo-ce
	HOW APPLIED MATHEMATICS BECAME PURE [My Copy] The Review of Symbolic Logic, Vol. 1, No. 01. (2008), pp. 16-41. by Y. Penelope Madd posted by 2 people pirapira MichaelDe
	A Fragment of Intuitionistic Dynamic Logic [My Copy] Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197. by Sergio A. Celani posted by 3 people pirapira mfrydr complogic
	XMLambda: A functional language for constructing and manipulating XML documents [My Copy] (1999) by E. Meijer, M. Shields posted by 3 people pirapira mingguo SIG
	A new efficient algorithm for computing Grobner bases (F4) [My Copy] Journal of Pure and Applied Algebra, Vol. 139, No. 1-3. (June 1999), pp. 61-88. by Jean-Charles Faugere posted by 2 people danielaugot pirapira
	Object-Oriented Composition Untangled [My Copy] In Proceedings OOPSLA '01, Tampa Bay, FL (2001) by Klaus Ostermann, Mira Mezini posted by 3 people marcoil pirapira Tom65536
	Pattern Matching in Trees and Strings [My Copy] (31 Aug 2007) by Philip Bille posted by 10 people egh A_Olympia jrw rahul pirapira ariels Philosophy_of_Information Blog_and_Wiki_Research SRL yangxian
	A Game Theoretic Approach to Quantum Information [My Copy] (2 Oct 2007) by Xianhua Dai, V. P. Belavkin posted by 4 people ansobol rahul pirapira eswar_physics
	Universal coalgebra: a theory of systems [My Copy] Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80. by J. J. M. M. Rutten posted by 3 people pirapira msakai oryp6518
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted by 23 people samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert NU-PRL jsiek dfisher fgeller jkominek
	Galois connections presented calculationally [My Copy] (1992) by C. J. Aarts posted by 5 people pirapira ansobol jrw scis0000001 Scis0000002
	A deoxyribozyme-based molecular automaton. [My Copy] Nat Biotechnol, Vol. 21, No. 9. (September 2003), pp. 1069-1074. by M. N. Stojanovic, D. Stefanovic posted by 6 people dbk stsaft pirapira Kiarostami streptomyces dbk-lab
	Pebble games in model theory [My Copy] Structures in Logic and Computer Science (1997), pp. 66-83. by James Lynch posted by 2 people pirapira edm92
	Relational Concurrent Refinement [My Copy] Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214. by John Derrick, Eerke Boiten posted by 2 people michaelbanks leonardo
	Formal Methods for Component Software: The Refinement Calculus Perspective [My Copy] Object-Oriented Technologys (1998), pp. 332-337. by Martin Büchi, Emil Sekerinski posted by 2 people michaelbanks leonardo
	Program development by stepwise refinement [My Copy] Commun. ACM, Vol. 14, No. 4. (April 1971), pp. 221-227. by Niklaus Wirth posted by 9 people azwinkau akuhn TKAB leonardo mishra_satish billkidwell claudiamichelle michaelbanks swiftwatch
	Guarded commands, nondeterminacy and formal derivation of programs [My Copy] Commun. ACM, Vol. 18, No. 8. (August 1975), pp. 453-457. by Edsger W. Dijkstra posted by 8 people ConcertRG robertjohnsimmons lesandrop michaelbanks leonardo kapilv newdawn bec
	General Refinement, Part One: Interfaces, Determinism and Special Refinement [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307. by Steve Reeves, David Streader posted by 2 people michaelbanks leonardo
	General Refinement, Part Two: Flexible Refinement [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329. by Steve Reeves, David Streader posted by 2 people michaelbanks leonardo
	Disappearing formal methods* [My Copy] High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000 (2000), pp. 95-96. by J. Rushby posted by 3 people michaelbanks leonardo Scis0000002
	Viewpoint<br />Retrospective: an axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32. by C. A. R. Hoare posted by 4 people onierstrasz michaelbanks leonardo ajholanda
	Touch of Class: Learning to Program Well with Objects and Contracts [My Copy] (11 September 2009) by Bertrand Meyer posted by 2 people leonardo michaelbanks
	The Theory and Practice of Concurrency [My Copy] (1997) by A. W. Roscoe, C. A. R. Hoare, Richard Bird posted by 5 people leonardo michaelbanks CSP zbchen AndreasSchropp
	Refinement in Circus [My Copy] FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-15. by Augusto Sampaio, Jim Woodcock, Ana Cavalcanti posted by 3 people michaelbanks leonardo SRG
	Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (17 August 2004) by Leonid Libkin posted by 3 people leonardo masteraka JakubSzymanik
	Relational concurrent refinement part II: Internal operations and outputs [My Copy] Formal Aspects of Computing by Eerke Boiten, John Derrick, Gerhard Schellhorn posted by 2 people michaelbanks leonardo
	State-rich model checking [My Copy] Innovations in Systems and Software Engineering, Vol. 2, No. 1. (13 March 2006), pp. 49-64. by Leo Freitas, Jim Woodcock, Ana Cavalcanti posted by 2 people michaelbanks leonardo
	CSP Is a Retract of CCS [My Copy] Unifying Theories of Programming (2006), pp. 38-62. by Jifeng He, Tony Hoare posted by 4 people michaelbanks mishra_satish christiankissig leonardo
	Software Requirements And Specifications (Acm Press Books) [My Copy] (23 August 1995) by M. Jackson posted by 6 people chrishmorris pnpo michaelbanks bkohler leonardo aku8000
	A Discipline of Programming [My Copy] (28 October 1976) by Edsger W. Dijkstra posted by 7 people leonardo streetlightios gvdh fvogels michaelbanks mishra_satish R13
	Style: Toward Clarity and Grace (Chicago Guides to Writing, Editing, and Publishing) [My Copy] (15 June 1995) by Joseph M. Williams posted by 5 people michaelbanks leonardo pbartleby jasmithoffice Sarai-J
	Refinement-oriented probability for CSP [My Copy] Formal Aspects of Computing, Vol. V8, No. 6. (1 November 1996), pp. 617-647. by Carroll Morgan, Annabelle Mciver, Karen Seidel, J. W. Sanders posted by 3 people michaelbanks leonardo cbertolini
	A direct path to dependable software [My Copy] Commun. ACM, Vol. 52, No. 4. (2009), pp. 78-88. by Daniel Jackson posted by 3 people leonardo michaelbanks architect
	Ten Years of Hoare's Logic: A Survey---Part I [My Copy] ACM Trans. Program. Lang. Syst., Vol. 3, No. 4. (1981), pp. 431-483. by Krzysztof R. Apt posted by 3 people robertjohnsimmons michaelbanks leonardo
	Using formal specifications to support testing [My Copy] ACM Comput. Surv., Vol. 41, No. 2. (2009), pp. 1-76. by Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, et al.Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy Vilkomir, Martin R. Woodward, Hussein Zedan posted by 3 people asilva michaelbanks leonardo
	Galois Connections and Fixed Point Calculus [My Copy] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2002), pp. 89-150. by Roland Backhouse posted by 7 people jirak michaelbanks neelk neelkrishnaswami spl leonardo Scis0000002
	A formalism for visual security protocol modeling [My Copy] Journal of Visual Languages & Computing, Vol. In Press, Corrected Proof by J. Mcdermott, G. Allwein posted by 2 people michaelbanks leonardo
	Specification, Refinement and Verification of Concurrent Systems---An Integration of Object-Z and CSP [My Copy] Form. Methods Syst. Des., Vol. 18, No. 3. (2001), pp. 249-284. by Graeme Smith, John Derrick posted by 2 people leonardo michaelbanks
	The event-B Modelling Method: Concepts and Case Studies [My Copy] Logics of Specification Languages (2008), pp. 47-152. by Dominique Cansell, Dominique Méry posted by 4 people michaelbanks leonardo jhs06r Event-B
	Tool Support for Refinement of Non-functional Specifications [My Copy] Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204. by Simone Röttger, Steffen Zschaler posted by 3 people michaelbanks leonardo Validation of Serviceoriented-Architectures
	Some Interdisciplinary Observations about Getting the “Right” Specification [My Copy] Verified Software: Theories, Tools, Experiments (2008), pp. 64-69. by Cliff Jones posted by 2 people michaelbanks leonardo
	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking [My Copy] Formal Methods and Software Engineering (2006), pp. 697-716. by Leo Freitas, Ana Cavalcanti, Jim Woodcock posted by 2 people michaelbanks leonardo
	Unifying theories in ProofPower-Z [My Copy] Formal Aspects of Computing by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock posted by 2 people michaelbanks leonardo
	Ten commandments of formal methods... ten years later [My Copy] Computer, Vol. 39, No. 1. (2006), pp. 40-48. by J. P. Bowen, M. G. Hinchey posted by 7 people prahlad michaelbanks benavides leonardo oster tdg ecoo-ce
	Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies [My Copy] Software and Systems Modeling by Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen posted by 2 people michaelbanks leonardo
	A Brief Overview of PVS [My Copy] Theorem Proving in Higher Order Logics (2008), pp. 22-27. by Sam Owre, Natarajan Shankar posted by 3 people michaelbanks mishra_satish leonardo
	Software model checking [My Copy] ACM Comput. Surv., Vol. 41, No. 4. (2009), pp. 1-54. by Ranjit Jhala, Rupak Majumdar posted by 4 people asilva zhensong michaelbanks leonardo
	A UTP semantics for Circus [My Copy] Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32. by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock posted by 2 people michaelbanks leonardo
	A theoretical basis for stepwise refinement and the programming calculus [My Copy] Sci. Comput. Program., Vol. 9, No. 3. (December 1987), pp. 287-306. by Joseph M. Morris posted by 2 people michaelbanks leonardo