Searching for "An Approach to Combining B and Alloy." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

An Approach To Combining B and Alloy
by Leonid Mikhailov And, Leonid Mikhailov, Michael Butler — 2002 — In Proc. of ZB 2002, volume 2272 of LNCS
…An Approach To Combining B and Alloy Leonid Mikhailov and Michael Butler Department of Electronics…
Add To MetaCart

An Approach to Combining B and Alloy
by Leonid Mikhailov, Michael Butler, Leonid Mikhailov, Michael Butler — 2002 — In Proc. of ZB 2002, volume 2272 of LNCS
…Combining B and Alloy Leonid Mikhailov and Michael Butler llm,mjb@(email omitted); Declarative…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB