2 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
Mohit Garg, Suneel Sarswat
We use formal methods to specify, design, and monitor continuous double auctions, which are widely used to match buyers and sellers at exchanges of foreign currencies, stocks, and…