Stem rubicon$ (all stems)
3 papers:
- FSE-2012-NearJ #bound #named #verification #web
- Rubicon: bounded verification of web applications (JPN, DJ), p. 60.
- ECOOP-2009-SchaferVEM #refactoring
- Stepping Stones over the Refactoring Rubicon (MS, MV, TE, OdM), pp. 369–393.
- VLDB-2002-King
- The Rubicon of Smart Data (RK), pp. 1002–1005.