The following pages link to Bertrand Meyer (Q846107):
Displaying 24 items.
- Contracts for concurrency (Q846109) (← links)
- Dedekind-Carlitz polynomials as lattice-point enumerators in rational polyhedra (Q930550) (← links)
- Fermat and the quality of Riemann approximations for \(\int_{-1}^1\int_{-1}^1 \int_{-1}^1 \varPhi ((ax+by+cz)R)\varPsi(x,y,z)\,dx\,dy\,dz\) (Q954870) (← links)
- A unified simple proof of a conjecture of Woods for \(n\leq 6\) (Q1017384) (← links)
- On conjectures of Minkowski and Woods for \(n=7\) (Q1017385) (← links)
- Showing programs on a screen (Q1057058) (← links)
- On the construction of dense lattices with a given automorphisms group (Q2372823) (← links)
- Expression for restricted partition function through Bernoulli polynomials (Q2426713) (← links)
- An explicit estimate for the lattice point discrepancy of ellipsoids of rotation (Q2466365) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Freefinement (Q2942853) (← links)
- Avoid a Void: The Eradication of Null Dereferencing (Q3163404) (← links)
- An Automatic Technique for Static Deadlock Prevention (Q3455052) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)
- (Q3666219) (← links)
- (Q3886834) (← links)
- (Q3998221) (← links)
- (Q4024014) (← links)
- A note on computing multiple sums (Q4146246) (← links)
- (Q4194406) (← links)
- (Q4371400) (← links)
- (Q4413673) (← links)
- (Q4436978) (← links)
- Loop invariants (Q5176169) (← links)
