Results 201 to 210 of about 90,561 (210)

Introducing OBJ

Advances in Formal Methods, 2000
Jose Meseguer, Jean-Pierre Jouannaud, Joseph A Goguen   +2 more
exaly  

Study on self-intersection detection algorithm based on OBJ model

2022
exaly  

OBJ for OBJ

Advances in Formal Methods, 2000
exaly  

Programming in OBJ and Maude

Lecture Notes in Computer Science, 1993
exaly  

UMIST OBJ: a Language for Executable Program Specifications

Computer Journal, 1989
exaly  

Software Engineering with OBJ

Advances in Formal Methods, 2000
exaly  

A LOTOS Simulator in OBJ

Advances in Formal Methods, 2000
exaly  

From OBJ to Maude and Beyond

Lecture Notes in Computer Science, 2006
exaly  

Software process a la Algebra: OBJ for OBJ

K Futatsugi
exaly  

KAPITEL 1. WAHL DES ABSOLUTEN (Gen.obj.)

1983
exaly