×

Found 7 Documents (Results 1–7)

“Higher-order” mathematics in B. (English) Zbl 1044.68145

Bert, Didier (ed.) et al., ZB 2002: Formal specification and development in Z and B. 2nd international conference of B and Z users, Grenoble, France, January 23–25, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43166-7). Lect. Notes Comput. Sci. 2272, 370-393 (2002).
MSC:  68T15 03B35 03E25 68N01
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Year of Publication

all top 3

Main Field

Software