Author:
Rauch Nicole,Wolff Burkhart
Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. M. D. Aagaard, and C.-J. H. Seger. The formal verification of a pipelined double-precision IEEE floating-point multiplier. In Int. Conf. on Computer Aided Design. IEEE Computer Society, 1995.
2. The B-Book: Assigning Programs to Meanings;Abrial,1996
3. Formal system development with KIV;Balser,2000
4. B. Beckert and S. Schlager. Integer arithmetic in the specification and verification of Java programs. In FM-TOOLS, 2002.
5. J. v. d. Berg and B. Jacobs. The LOOP compiler for Java and JML. In TACAS01, LNCS 2031, 2001.