en
de
BibSonomy
publication
tag
user
group
author
concept
BibTeX key
search:all
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
URL
DOI
TeX
publication post of
dblp
tags
(
dblp
's tags highlighted)
dblp
users
dblp
in citation format:
www
Harvard
Chicago
APA
DIN 1505
BibTeX
EndNote
all formats
UMIST OBJ: A Language for Executable Program Specifications.
Robin M. Gallimore
,
Derek Coleman
, and
Victoria Stavridou
.
Comput. J.
32(5):413-421
(
1989
)
@article{journals/cj/GallimoreCS89, added-at = {2012-06-27T00:00:00.000+0200}, author = {Gallimore, Robin M. and Coleman, Derek and Stavridou, Victoria}, biburl = {http://www.bibsonomy.org/bibtex/296225b2789ef56bcdba7124b15ec6c7d/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/32.5.413}, interhash = {1ecdec18e5acbc32756e221b20cef5f9}, intrahash = {96225b2789ef56bcdba7124b15ec6c7d}, journal = {Comput. J.}, keywords = {dblp}, number = 5, pages = {413-421}, timestamp = {2012-06-27T00:00:00.000+0200}, title = {UMIST OBJ: A Language for Executable Program Specifications.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj32.html#GallimoreCS89}, volume = 32, year = 1989 }
%0 Journal Article %1 journals/cj/GallimoreCS89 %A Gallimore, Robin M. %A Coleman, Derek %A Stavridou, Victoria %D 1989 %J Comput. J. %K %N 5 %P 413-421 %T UMIST OBJ: A Language for Executable Program Specifications. %U http://dblp.uni-trier.de/db/journals/cj/cj32.html#GallimoreCS89 %V 32
discussion
(0)
resources (URL, PDF, ...)
URL:
http://dblp.uni-trier.de/db/journals/cj/cj32.html#GallimoreCS89
internal link:
?
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
BibTeX key:
journals/cj/GallimoreCS89
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact