1
Published 1993
Springer London
Table of Contents: ... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...

2
Published 2015
International Monetary Fund
...IMF Research Bulletin...

3
by Hart, John
Published 1839
J. Weale
Subjects: ...Oblique arches...

4
by Guttag, John V., Horning, James J.
Published 1993
Springer New York
Table of Contents: ... An Introduction to Larch -- 3.1 Two-tiered specifications -- 3.2 LSL, the Larch Shared Language -- 3.3 Interface...

5
Published 2001
International Monetary Fund
...IMF Research Bulletin...

6
Published 2016
International Monetary Fund
...IMF Research Bulletin...

7
Published 2017
International Monetary Fund
...IMF Research Bulletin...

8
by Spilimbergo, Antonio
Published 2007
International Monetary Fund
...IMF Research Bulletin...

9
Published 2004
International Monetary Fund
...IMF Research Bulletin...

10
Published 2002
International Monetary Fund
...IMF Research Bulletin...

11
Published 2013
International Monetary Fund
...IMF Research Bulletin...

12
Published 2009
International Monetary Fund
...IMF Research Bulletin...

13
Published 2006
International Monetary Fund
...IMF Research Bulletin...

14
Published 2008
International Monetary Fund
...IMF Research Bulletin...

15
Published 2010
International Monetary Fund
...IMF Research Bulletin...

16
Published 2012
International Monetary Fund
...IMF Research Bulletin...

17
Published 2011
International Monetary Fund
...IMF Research Bulletin...

18
Published 2005
International Monetary Fund
...IMF Research Bulletin...

19
Published 2003
International Monetary Fund
...IMF Research Bulletin...

20
Published 2016
International Monetary Fund
...IMF Research Bulletin...