|
89
|
Generating Trees and the Catalan and Schröder Numbers
– Julian West
- 1995
|
|
129
|
Combinatorial aspects of continued fractions
– P Flajolet
- 1980
|
|
185
|
Restricted permutations
– R Simion, F Schmidt
- 1985
|
|
97
|
Generalized permutation patterns and a classification of the Mahonian statistics
– Eric Babson, Einar SteingrÃmsson
- 2000
|
|
180
|
Enumerative combinatorics Vol
– R Stanley
- 1999
|
|
64
|
The number of Baxter permutations
– F R K Chung, R L Graham, V E Hoggatt Jr, M Kleiman
- 1978
|
|
1813
|
The Art Of Computer Programming
– D Knuth
- 1973
|
|
112
|
Alcoa: the alloy constraint analyzer
– Daniel Jackson, Ian Schechter, Ilya Shlyakhter
|
|
23
|
Specifying and testing software components using ADL
– Sriram Sankar, Roger Hayes, Sriram Sankar, Roger Hayes
- 1994
|
|
34
|
Improving Software Tests using Z Specifications
– Hans-Martin Horcher
- 1995
|
|
35
|
The pointer assertion logic engine
– A Moeller, M I Schwartzbach
- 2001
|
|
35
|
Generating effective symmetry-breaking predicates for search problems
– I Shlyakhter
- 2001
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
417
|
The design and implementation of an intentional naming system
– William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, Jeremy Lilley
- 1999
|
|
98
|
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
– Yoonsik Cheon, Gary T. Leavens, Yoonsik Cheon, Gary T. Leavens
- 2002
|
|
39
|
Structural specification-based testing: Automated support and experimental evaluation
– J Chang, D J Richardson
- 1999
|
|
136
|
Test infected: Programmers love writing tests
– K Beck, E Gamma
- 1998
|
|
1055
|
The Z Notation: A Reference Manual
– J M Spivey
- 1992
|
|
91
|
Role analysis
– Viktor Kuncak, Patrick Lam, Martin Rinard
- 2004
|
