Pages that link to "Item:Q258032"

From MaRDI portal

← Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers (Q258032)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers (Q258032):

Displaying 1 item.

Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (Q619015) (← links)

Retrieved from "https://mardi.schubotz.org/wiki/Special:WhatLinksHere/Item:Q258032"