Formal development of programs and proofs /

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report /
Published: (1993)

Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts /
Published: (1978)

Computer programming and formal systems /
by: Braffort, P.
Published: (1963)

Formal description of programming concepts /
Published: (1991)

Formal methods of program verification and specification /
Published: (1982)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Computer programming and formal systems
Published: (1963)

An introduction to formal program verification /
by: Mili, Ali
Published: (1985)

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 /
Published: (1983)

Formal definition of programming languages. : With an application to the definition of algol 60 /
by: Bakker, Jacobus Willem de
Published: (1970)

Formal language description languages for computer programming : proceedings /
Published: (1966)

Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986 /
Published: (1987)

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February 1985 /
Published: (1985)

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
Published: (2004)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

The formal semantics of programming languages : an introduction /
by: Winskel, G. (Glynn)
Published: (1993)

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

Formal differentiation : a program synthesis technique /
by: Paige, Robert A.
Published: (1981)

Theory and formal methods : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
Published: (1993)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings /
Published: (1993)

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
Published: (2000)

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
Published: (1999)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
Published: (2004)

Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system /
by: Boldo, Sylvie, et al.
Published: (2017)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)

The Programming and proof systems ATES : advanced techniques integration into efficient scientific software /
Published: (1991)

Formal engineering for industrial software development : using the SOFL method /
by: Liu, Shaoying, 1960-
Published: (2004)

Formal description techniques, II : proceedings of the IFIP TC/WG 6.1 [as printed] Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 /
Published: (1990)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1992)

Formal object-oriented development /
by: Lano, K.
Published: (1995)

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
Published: (2000)